Show HN: AI coding agents that prove their work

Show HN: AI coding agents that prove their work daneb.github.io

AI coding agents that prove their work. Gates, a tamper-evident record, and a PR check that blocks anything unproven.

2 points•danebalia•4 days ago•2 comments•

#ai #prove #agents #coding #ai coding #coding agents #ai coding agents #gates

Release of 0.10

2 comments

I like that you call out the store drift check yourself. Have you tried deliberately causing drift to see whether it catches it.. ?

danebalia4 days ago

Yes frequently I hit this. Largely when I am laying down supporting tooling for tests for example that were not part of a spec (feature). Tests were but not missing tooling. Others are me editing .gitignore for files that resulted from a listing run or README change by me, which was not in scope. Or if I edit a file, that was not in scope.

Read the full thread on Hacker News →

2 comments

Related stories