Keyflow

Search Keyflow

Find a shortcut, workflow, MCP server or skill

ProofFlow

local MCP server

Installation

Terminal

claude mcp add proofflow -e PROOFFLOW_BASE_URL=... -e PROOFFLOW_API_KEY=... -- uvx proofflow-mcp

Run in your project folder. Add --scope user to use it everywhere.

Claude Desktop, Cursor & other clients

Add to claude_desktop_config.json or .cursor/mcp.json.

{
  "mcpServers": {
    "proofflow": {
      "command": "uvx",
      "args": [
        "proofflow-mcp"
      ],
      "env": {
        "PROOFFLOW_BASE_URL": "...",
        "PROOFFLOW_API_KEY": "..."
      }
    }
  }
}

Fill in the environment variables with your own credentials.

Summary

Audit infrastructure for AI coding agents with evidence-backed review and policy gates.

Questions

ProofFlow is a local MCP server distributed as the pypi package proofflow-mcp.

Run: claude mcp add proofflow -e PROOFFLOW_BASE_URL=... -e PROOFFLOW_API_KEY=... -- uvx proofflow-mcp

Run: codex mcp add proofflow --env PROOFFLOW_BASE_URL=... --env PROOFFLOW_API_KEY=... -- uvx proofflow-mcp

Similar MCP servers

NameStars
  1. Fable Modeio.github.REX-codebase/fable-mode24
  2. Aegis — AI Agent Governanceio.github.Acacian/aegis17
  3. misakanetio.github.Ikalus1988/misakanet514
  4. ocm-mcp-serverio.github.ocm-mcp-server/ocm-mcp-server36
  5. briefdio.github.ismailperim/briefd31
  6. delegoio.github.Delego-Dev/delego25
  7. LastSearchio.github.LastSearch-HQ/lastsearch20
  8. Madario.github.mohanagy/madar19
Buy me a coffee