🛠️ Nomos – A Go harness that stops coding agents from cheating on tests
Summary
Nomos is a single static Go binary harness that stops coding agents from cheating on tests by locking the main branch, separating spec and code tasks in a causal DAG, and running structural AST gates and test verifications before merging.
Why it’s interesting
It prevents AI coding agents from cheating by deleting failing assertions, returning hardcoded stubs, or modifying specs, using a strict state machine and AST validation.
Target user
Developers using AI coding agents on codebases they need to maintain long-term.
Source metrics: Points 4 · Comments 0
HN discussion · Project
Source: #HackerNews / Show HN
Summary
Nomos is a single static Go binary harness that stops coding agents from cheating on tests by locking the main branch, separating spec and code tasks in a causal DAG, and running structural AST gates and test verifications before merging.
Why it’s interesting
It prevents AI coding agents from cheating by deleting failing assertions, returning hardcoded stubs, or modifying specs, using a strict state machine and AST validation.
Target user
Developers using AI coding agents on codebases they need to maintain long-term.
Source metrics: Points 4 · Comments 0
HN discussion · Project
Source: #HackerNews / Show HN