🎯

openmath-lean-theorem

🎯Skill

from shentufoundation/openmath-skills

Security check pending

Same repository

shentufoundation/openmath-skills(4 items)

openmath-lean-theorem

Installation

Vibe Index InstallInstalls to .claude/skills/ - auto-recognized by Claude Code

npx vibeindex add shentufoundation/openmath-skills --skill openmath-lean-theorem

skills.sh Install⚠ Installs to .agents/skills/ - may not be auto-recognized by Claude Code

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

3Installs

AddedMar 19, 2026

Skill

Skill

Skill