proof-mcp
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.
- Score
- Unranked
- Evidence
- No signals yet
- Last commit
- as last read from GitHub; most reads are from 2 Sep 2026 or later
- Listed
Install
No one-command install. Set it up from its source.
Alternatives · MCPs
- marianfoo-arc-1175 stars · 53 forks94.449
- opencode-mcp127 stars · 23 forks92.402
- slack-mcp-236 stars · 47 forks91.838
What it is
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.
When to use it
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 install / invoke
See Glama for the install config.
Notes
Listed from the Glama MCP registry.