Community-submitted skill. Not yet reviewed by the Forge team. Full prompt content may not be available.Request review → 2Estrellas del repo
1Clientes
1Formatos
hace 9 dÚltima actualización
Skill
Autorhoanganhduc
Versión0.0.0
LicenciaGPL-3.0
CategoríaFlujo de trabajo
Formatosskill.md
PromptNo publicado
Compatibilidad
Claude✓ Compatible
Cursor—
Copilot—
ChatGPT—
Gemini—
Acerca de
Use when preparing optional LeanExplore MCP setup for Lean declaration search and formalization support.
Palabras clave
skillclaude