🔧

ProofStream MCP Server

🔧MCP Server

ProofStreamai/proofstream-mcp

glama

Installation

Claude CodeAuto-generated from README. View full documentation on GitHub →

claude mcp add proofstream -- npx proofstream-mcp

Server ConfigurationServer configuration (JSON)

{
  "mcpServers": {
    "proofstream": {
      "command": "npx",
      "args": [...

Last UpdatedMay 30, 2026