15:I[981,["658","static/chunks/658-a698693f56d0116a.js","183","static/chunks/183-6beeeb801c274aaa.js","474","static/chunks/app/%5Btype%5D/layout-631c4730b83c8223.js"],"Posts"] 16:T514,Hey HN - I built ProofLoop, an open-source CLI orchestrator for long-horizon agent work.

My pain with agents on real projects: big tasks degrade into babysitting (continue -> fix regression -> rerun -> repeat). They stop too early - so you can’t step away.

ProofLoop’s approach: you write a Definition of Done once, then it keeps planning/executing/verifying until the whole contract is satisfied. The “done” contract can include high-level, plain-text acceptance criteria

Example run: proofloop run "Implement a complete feature from scratch: API endpoints, database schema, frontend components, full test coverage" \ --path ./project --provider codex --timeout 8

Providers/adapters: OpenCode, Codex (ChatGPT), Claude Code. Local-first. Apache 2.0. Repo: https://github.com/exiw-ai/proofloop

Install: curl -LsSf https://raw.githubusercontent.com/exiw-ai/proofloop/main/ins... | sh

Would love feedback / war stories from anyone running agents on multi-hour tasks. Thanks!17:T40b,Hi! My name is Kirill, I am developing yoth-yoth, a platform that combines canvas boards, pages, task tracker, calendar and much more (but in the future). The boards and the raw version of the pages are currently available. Here is a quick intro on using the boards: https://yoth-yoth.com/b/help

For basic use, the platform is free and requires no registration, and all data is stored locally in the browser. Data synchronization and collaboration with oth

In-School Supervised Ed-Tech Support Produces Learning Gains

Bayes theorem and how we talk about medical tests

Show HN: AI Prompt Generator, Optimizer and Manager

Have your computer work for you

Woodshed: Create, run, rate, and iterate on your Claude Skills

Compare LLM Responses with OverallGPT

The secretive powerbroker with a tight grip on corporate Spain

Timelang: Natural Language Time Parser

Young Men Are Lost. A New Book Can Guide the Way

Trump Touts New Microsoft Data-Center Pledges After Local Backlash

Show HN: ProofLoop – Autonomous long-running agents with verifiable completion

Show HN: I made a $25 lifetime Screen Studio alternative

Are Atomic Operations Better Than a Mutex? It Depends

They Write the Right Stuff

A rare interview with the elusive Agatha Christie

Be Wary of Digital Deskilling

Show HN: Yoth-yoth – your all-in-one workspace

Data is not available upon request

I Graduated from Survival Mode

The Pentagon used a secret aircraft painted to look like a civilian plane

Verizon to stop automatic unlocking of phones as FCC ends 60-day unlock rule

A 'Holy Grail' Sleep Apnea Pill Could Be on the Market Next Year

Great code doesn't matter if you can't sell it

FCC revises Verizon phone unlocking rules after significant fraud issues

Canada's Scaling Problem Isn't Compute, It's Coastlines

Show HN: Minimal type-safe language for software architecture

Bug 55867 – Doesn't know how to tag XI_TRACKBALL

From Starbase: Pete Hegseth on Defense Innovation Reform [video]

Meta shakes up its review system with 'stronger rewards for top performers'

Paramount Wants Warner to Show Its Work

Ask HN: How are you using AI to self-augment?