MCP Server

ProofStream MCP Server

io.github.ProofStreamai/proofstream-mcp

What is the ProofStream MCP server?

Dispatch a human verifier to physically verify anything in the real world. For AI agents.

Copy-paste configuration for popular MCP clients.

transport: stdio

Config generated by PluginBench — verify against the source before use.

~/Library/Application Support/Claude/claude_desktop_config.json

{
  "mcpServers": {
    "proofstream-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "proofstream-mcp"
      ]
    }
  }
}

Active

Shared memory for a team in Claude Code: what one person records, everyone has.

Shell

Scans code changes for leaked secrets and insecure config, with actionable fixes for AI agents.

Active

Provar MCP: AI-powered Salesforce test automation. Generate, validate, migrate, and run tests.

TypeScript

BSD-3-Clause

Maintained

Cryptographic identity, SIGIL naming, heartbeat, and passports for AI agents.

TypeScript

MIT

Active

Dutch case law over MCP: search & fetch uitspraken by ECLI (Rechtspraak Open Data + LiDO)

TypeScript

MIT

Active

Local-first command wrapper that compresses terminal output for AI coding agents while keeping raw logs private.

Python

MIT