Search

Home › Development › ProofFlow

ProofFlow

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

Python
★ 49 stars Last pushed 2026-08-08 License: MIT
View repository →

Connect

Review any command before running it. Package names and URLs come from the server's own registry entry.

Package (pypi 0.1.2)

uvx proofflow-mcp

Or add to your MCP client config:

{
  "mcpServers": {
    "proofflow-v0-1": {
      "command": "uvx",
      "args": [
        "proofflow-mcp"
      ],
      "env": {
        "PROOFFLOW_BASE_URL": "<YOUR_VALUE>",
        "PROOFFLOW_API_KEY": "<YOUR_VALUE>"
      }
    }
  }
}
  • PROOFFLOW_BASE_URL — ProofFlow backend URL (default: http://127.0.0.1:8787)
  • PROOFFLOW_API_KEY secret — API key for authenticated access to the ProofFlow backend

Related servers

C

Codebase Memory

Development

Codebase knowledge graph for AI agents — 162 languages, sub-ms queries, 99% fewer tokens.

★ 44,673 MCP Server
M

mindshub

Development

Connect and unify data across various platforms and databases with [MindsDB as a single MCP server](https://docs.mindsdb.com/mcp/overview).

★ 39,763 MCP Server
S

Serena MCP: the IDE for your agent

Development

A powerful toolkit for coding, providing semantic retrieval and editing capabilities.

★ 29,759 MCP Server
R

Repomix

Development

Pack local or remote codebases into AI-friendly files that LLMs and coding agents can read or search

★ 28,476 MCP Server
C

claude-task-master

Development

AI-powered task management system for AI-driven development. Features PRD parsing, task expansion, multi-provider support (Claude, OpenAI,…

★ 28,084 MCP Server
P

pydantic-ai

Development

Run Python code in a secure sandbox via MCP tool calls

★ 20,133 MCP Server

Data from the Official MCP Registry