P

How to install proofstack in Claude Code

To install proofstack in Claude Code, run "claude mcp add --transport http proofstack https://proof-stack-lake.vercel.app/mcp" in your terminal, then check it with "claude mcp list". It takes about a minute.

Built from the published package · server updated 11 days ago

1. 1

   Run the install command

   Open a terminal in your project and run:

   claude mcp add --transport http proofstack https://proof-stack-lake.vercel.app/mcp

   Copy
2. 2

   Choose where it applies (optional)

   Add --scope user to use it in every project, or --scope project to share it with your team through a .mcp.json file.

   claude mcp add --scope user --transport http proofstack https://proof-stack-lake.vercel.app/mcp

   Copy
3. 3

   Check that it is connected

   List your servers, or type /mcp inside a Claude Code session to see its status and tools.

   claude mcp list

   Copy

MCP servers run with your permissions. If proofstack needs an API key, add it under env in the config. Check its README.

Similar servers

A

Azure MCP Server microsoft

100

All Azure MCP tools to create a seamless connection between AI agents and Azure services.

AAA Local 63k/wk

O

Omnara omnara-ai

98

Deploy durable AI agents with Omnara, an open-source managed-agent platform.

AAA Remote 2.9k

M

mcp cloudflare

96

Cloudflare MCP servers

AAB Remote 4.4k