Community-submitted skill. Not yet reviewed by the Forge team. Full prompt content may not be available.Request review → 2Repo-Sterne
1Clients
1Formate
vor 9 TLetzte Aktualisierung
Skill
Autorhoanganhduc
Version0.0.0
LizenzGPL-3.0
KategorieWorkflow
Formateskill.md
PromptNicht veröffentlicht
Kompatibilität
Claude✓ Unterstützt
Cursor—
Copilot—
ChatGPT—
Gemini—
Über
Use when preparing optional LeanExplore MCP setup for Lean declaration search and formalization support.