rocq prover mcp for Zed
io.github.mrfentmen/rocq-prover-mcp
Rocq Prover MCP: 20 real tools to read, check, lint, scaffold, build and run Rocq Prover code.
client:Zed
transport:stdio
runtime:npm
Install rocq prover mcp in Zed
~/.config/zed/settings.json · windows: %APPDATA%\Zed\settings.json
{
"context_servers": {
"rocq-prover-mcp": {
"command": "npx",
"args": [
"-y",
"@mrfentmen/rocq-prover-mcp"
]
}
}
}Merge this into your existing settings object — do not replace the file. Zed docs