Plugin Claude Code
Plugin marketplace listing 1 plugin: proof-engine.
8 3mo ago A
tokens not measured
original MIT
8Stars on the repository
5Mods indexed here, across every type
3mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
proof-engine
02Plugin Claude Code
Create formal, verifiable proofs of claims with machine-checkable reasoning — every fact computed or cited, never asserted.
8 3mo ago A
tokens not measured
original MIT