agentmods.dev

christian140903-sudo/proofspec

Archived experiment: executable evidence contracts for README claims; not published on npm.

Open on GitHub
0Stars on the repository
1Mods indexed here, across every type
4d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

proofspec

01

christian140903-sudo/proofspec

MCP server Claude CodeCodexCursor +2

A thin layer that makes your test suite the living spec. Runs locally from the proofspec npm package.

not rated 0 changed 3d ago A Socket: warn tokens not measured original MIT archived