DoneMark provides human accountability for AI-generated code. Run your favorite coding agents (Cursor, Claude Code, Devin), while DoneMark generates cryptographic audit trails and 4 automated proofs per line to let you sign off on intent without breaking production.
