🎯

mathlib-workflow

🎯Skill

from frankieew/agent-skills

Same repository

frankieew/agent-skills(2 items)

mathlib-workflow

Installation

Vibe Index InstallInstalls to .claude/skills/

npx vibeindex add frankieew/agent-skills --skill mathlib-workflow

skills.sh Install⚠ Installs to .agents/skills/

npx skills add frankieew/agent-skills --skill mathlib-workflow

Manual InstallCopy SKILL.md content and save to the path below

~/.claude/skills/mathlib-workflow/SKILL.md

6Installs

Last UpdatedJun 25, 2026

Skill