christian140903-sudo/proofspec

Claims are cheap. Proofspec makes them executable — evidence contracts, claim graphs, hash-chained receipts, CI gates, reports, and MCP for public software claims.

Open on GitHub

0Stars on the repository

1Mods indexed here, across every type

1mo agoLast push, which is what freshness is scored on

MITLicence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

proofspec

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. Needs 1 environment variable to run.

0 1mo ago A tokens not measured original MIT