LE

leanforge mcp

Published by sandraschi

MCP server for AI-driven formal proof search in Lean 4

CATEGORY: Search & research
DEPLOYMENT: Local package
LATEST SOURCE VERSION: 0.1.0
SOURCE CHECKED: Sep 4, 2026

Published packages

mcpb · https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb

View source repository