proofops
01MCP server Claude CodeCodexCursor +2
MCP server "proofops" as configured in Lorenzo-Holmes/ProofOps. Runs locally from the proofops Python package.
0 23d ago A
tokens not measured
original Apache-2.0
0Stars on the repository
9Mods indexed here, across every type
23d agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown