lean-explore-mcp

Name: lean-explore-mcp
Author: hoanganhduc

SKILLWorkflowcommunity

v0.0.0hoanganhducGPL-3.0Updated 1mo agoSource →

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 stars

1Clients

1Formats

1mo agoLast update

Skill

Authorhoanganhduc

Version0.0.0

LicenseGPL-3.0

CategoryWorkflow

Formatsskill.md

PromptNot published

Compatibility

Claude✓ Supported

Cursor—

Copilot—

ChatGPT—

Gemini—

About

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

Keywords

skillclaude

No dependency coverage

This entry publishes no npm package, so Forge has no dependency tree for it. That is a gap in coverage — not a statement that it has no dependencies.