DiscoverAISkills
Acorn Prover | Claude Skill for Verify and write proofs using