proofcheck
01Skill Claude Code needs its repo
A systematic checker for mathematical proofs in statistics and machine-learning research papers.
not rated 9 2mo ago A 57 tokens
original MIT
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: