lean-explore-mcp

Name: lean-explore-mcp
Author: hoanganhduc

SKILLWorkflowCommunity

v0.0.0hoanganhducGPL-3.0Aktualisiert vor 1 Mon.Quelle →

Use when preparing optional LeanExplore MCP setup for Lean declaration search and formalization support.

Community-submitted skill. Not yet reviewed by the Forge team. Full prompt content may not be available.Request review →

2Repo-Sterne

1Clients

1Formate

vor 1 Mon.Letzte 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.

Schlagwörter

skillclaude

Keine Abdeckung der Abhängigkeiten

Dieser Eintrag veröffentlicht kein npm-Paket, daher hat Forge keinen Abhängigkeitsbaum dafür. Das ist eine Lücke in der Abdeckung — keine Aussage, dass er keine Abhängigkeiten hat.