isabelle root mcp for Grok
io.github.mrfentmen/isabelle-root-mcp
Isabelle ROOT MCP: 20 real tools to read, check, lint, scaffold, build and run Isabelle ROOT code.
client:Grok
transport:stdio
runtime:npm
Install isabelle root mcp in Grok
.mcp.json (in your project root)
{
"mcpServers": {
"isabelle-root-mcp": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@mrfentmen/isabelle-root-mcp"
]
}
}
}Grok Build reads Claude Code's .mcp.json and Claude Desktop's config unchanged, so a server you have already set up there needs nothing new. The Grok web app and X integration do not take custom servers. Grok docs