Back to search
30
MCP

leanblueprint-mcp

pypi/leanblueprint-mcp

MCP server for rendering Lean 4 blueprint dependency graphs from structured theorem data.

Uptime
0.0%
2 probes
Response
0ms
last probe
Tools
0
callable
Primary URL
—

Similar MCP servers embedding-nearest

lean-mcp
MCP server and client for Lean 4 + Mathlib formal verification
0 tools
diagrams-mcp
MCP server for generating infrastructure and architecture diagrams as code using the Python diagrams library
0 tools
diagrams-mcp-server
MCP server for rendering diagrams using mingrammer/diagrams, Mermaid, and PlantUML
0 tools
mcpbind-lean-lsp-mcp
MCP Server Package: lean-lsp-mcp
0 tools
mcp/neo4j-data-modeling
MCP server that assists in creating, validating and visualizing graph data models.
0 tools
mcp-server-codegraph
MCP server for graph representation of a codebase
0 tools

How to use

Add to your Claude Desktop / Cursor / Cline MCP config:

{
  "mcpServers": {
    "leanblueprint-mcp": {
      "url": "None",
      "transport": "http"
    }
  }
}