agent-spec
cargoIntent compiler for AI agent coding: human intent compiles through requirement IR into verifiable task contracts, mechanically verified against the code
Audits
No audits for this package yet.
Intent compiler for AI agent coding: human intent compiles through requirement IR into verifiable task contracts, mechanically verified against the code