io.github.sandraschi/leanforge-mcp MCP Server

io.github.sandraschi/leanforge-mcp

Repository Registry

What is the io.github.sandraschi/leanforge-mcp MCP server?

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

How to install io.github.sandraschi/leanforge-mcp

Copy-paste configuration for popular MCP clients.

transport: stdio

Config generated by PluginBench — verify against the source before use.

~/Library/Application Support/Claude/claude_desktop_config.json

{
  "mcpServers": {
    "leanforge-mcp": {
      "command": "https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb",
      "args": []
    }
  }
}

Related MCP servers

io.github.sandraschi/mixx-dj-mcp

Active

FastMCP server for Mixxx DJ software control via OSC protocol

Python

MIT

View repository →

io.github.sandraschi/overte-mcp

Active

Overte (open-source Vircadia-lineage metaverse) Model Context Protocol server for domain administ...

HTML

MIT

View repository →

io.github.sandraschi/qcad-mcp

Active

AI-driven 2D CAD automation: DXF/DWG parsing, 3D STL extrusion, room analysis, and persistent file depot.

Python

MIT

View repository →

io.github.sandraschi/resonite-mcp

Active

Natural language control of Resonite VR worlds, avatars, and assets through AI chat.

Python

MIT

View repository →

io.github.sandraschi/yahboom-mcp

Active

SOTA 2026 Yahboom Raspbot v2 ROS 2 MCP Server

Python

MIT

View repository →

io.github.sandsower/kronan-mcp

Maintained

AI-powered grocery shopping for Krónan (Iceland) via Claude—search products, manage carts, track orders, and handle checkout.

TypeScript

MIT

View repository →