Vibe Index
🎯

openmath-lean-theorem

🎯Skill

from shentufoundation/openmath-skills

📦

Same repository

shentufoundation/openmath-skills(4 items)

openmath-lean-theorem

Installation

Vibe Index InstallInstalls to .claude/skills/
npx vibeindex add shentufoundation/openmath-skills --skill openmath-lean-theorem
skills.sh Install⚠ Installs to .agents/skills/
npx skills add shentufoundation/openmath-skills --skill openmath-lean-theorem
Manual InstallCopy SKILL.md content and save to the path below
~/.claude/skills/openmath-lean-theorem/SKILL.md
6Installs
-
Last UpdatedMar 26, 2026
View on GitHubBack to Skills

More from this repository3

🎯
openmath-open-theorem🎯Skill

Skill

🎯
openmath-claim-reward🎯Skill

Skill

🎯
openmath-submit-theorem🎯Skill

Skill