Proof MCP
Dev Tools
Local
An MCP server that exposes a Proof workspace to MCP clients, enabling tools for reading/writing concepts, managing ideas and projects, running ideation operators, and more, with live sync and headless authentication.
How to connect
1
Glama registry
View https://glama.ai/mcp/servers/x0e80z8ov9 for deploy options, or install from https://github.com/ToremLabs/Proof-MCP (see README for MCP config).
2
GitHub
Install from https://github.com/ToremLabs/Proof-MCP and add the server to your MCP client configuration (see repository README).
Tools
Tool names are not listed in our registry for this server. Connect it in your MCP client to see the live tool list.