Back to search
30
MCP

isabelle-mcp

pypi/isabelle-mcp

MCP server bridging AI agents with the Isabelle proof assistant via its LSP/PIDE interface

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

Similar MCP servers embedding-nearest

isabl-mcp
MCP server providing AI agents access to the Isabl genomics platform
0 tools
aip-mcp-server
MCP server for AI agent identity verification via AIP
0 tools
io.github.aidemd-mcp/server
MCP server that teaches any AI agent the AIDE methodology via progressive disclosure
0 tools
mcp-agentapi
MCP server for interacting with AI agents through the Agent API
0 tools
matlab-mcp-python
MCP server exposing MATLAB capabilities to AI agents
0 tools
iris-security-mcp
IRIS MCP Server — connect Claude to AI agent governance
0 tools

How to use

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

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