Agent
Grade a deductive-theorem proof artifact (claimtype: "theorem") against the proof-engine's quality bar for canonical citation targets.
8 3mo ago A 0 tokens
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