lean-explore-mcp

Name: lean-explore-mcp
Author: hoanganhduc

SKILLWorkflowcommunity

v0.0.0hoanganhducGPL-3.0Updated 4d 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

4d 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