isabelle-pide-mcp

An MCP server interacting with Isabelle via Isabelle/PIDE