AI Plugin Index
proofstack
Verified · proof-stack-lake.vercel.appMCP server by lttxzmj · updated · ★ 0
Audited indie product business cases with source-backed pricing, revenue and pricing benchmarks. proofstack is published by proof-stack-lake.vercel.app from its verified domain in the official MCP Registry.
Last commit 10 days ago
Apache-2.0: permissive, fine for commercial use
Clear description, published package or server URL, original repository
Not checked yet. What we check
Install proofstack
Built from the published package, never by AIclaude mcp add --transport http proofstack https://proof-stack-lake.vercel.app/mcpRun in your terminal. Add --scope user to use it in every project.
{
"mcpServers": {
"proofstack": {
"url": "https://proof-stack-lake.vercel.app/mcp"
}
}
}Settings, Developer, Edit config. Paste into claude_desktop_config.json and restart.
{
"mcpServers": {
"proofstack": {
"url": "https://proof-stack-lake.vercel.app/mcp"
}
}
}Add to ~/.cursor/mcp.json (all projects) or .cursor/mcp.json (this project).
{
"servers": {
"proofstack": {
"url": "https://proof-stack-lake.vercel.app/mcp"
}
}
}Add to .vscode/mcp.json. VS Code uses "servers", not "mcpServers".
{
"mcpServers": {
"proofstack": {
"serverUrl": "https://proof-stack-lake.vercel.app/mcp"
}
}
}Add to ~/.gemini/config/mcp_config.json (all projects) or .agents/mcp_config.json (this project).
https://proof-stack-lake.vercel.app/mcpIn ChatGPT: Settings, Connectors, Add custom connector, then paste this URL. Works in any client that supports remote servers.
MCP servers run with your permissions and can read what you give them access to. Some need an API key: check the README and add it under env in the proofstack block.
Alternatives to proofstack
All alternatives →
All Azure MCP tools to create a seamless connection between AI agents and Azure services.
Deploy durable AI agents with Omnara, an open-source managed-agent platform.
Cloudflare MCP servers
Open-source agent that observes and fixes your application. Query logs, traces, metrics, incidents.
Analyzes deployed EVM bytecode: extracts function selectors and CBOR metadata; infers argument types, state mutability, storage layouts, and control flow.
Ruflo - Enterprise AI agent orchestration platform. Deploy 60+ specialized agents in coordinated swarms with self-learning, fault-tolerant consensus, vector memory, and MCP integration
proofstack: common questions
How do I install proofstack?
In Claude Code run claude mcp add --transport http proofstack https://proof-stack-lake.vercel.app/mcp. For Claude Desktop, Cursor and VS Code, paste the config shown above and restart. See the install guides.
Is proofstack the official server?
proofstack is published by proof-stack-lake.vercel.app from its verified domain in the official MCP Registry.
Is proofstack free?
The code is published under the Apache-2.0 licence. The service it connects to may have its own pricing.
Is proofstack safe to use?
It scores 33 of 100. Grades: maintenance A, licence A, quality C. The security check has not run for it yet. Review the code before you install. How grades work.
What are alternatives to proofstack?
Similar MCP servers: Azure MCP Server, Omnara, mcp, Superlog.
Does proofstack work with ChatGPT?
Yes. Add its server URL in ChatGPT as a custom connector. See MCP in ChatGPT.