cosmic-mcp

All servers

ProofFlow

io.github.Hyperion-GPU/proofflow · version 0.1.2

Community listing. Not installed or verified by cosmic-mcp. Read the source and its permissions before you run it.

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

https://github.com/Hyperion-GPU/ProofFlow-v0.1

Quick facts

  • Listing: Community
  • Published May 6, 16:51 UTC
  • Transport: stdio
  • Package: pypi proofflow-mcp 0.1.2
  • Listed by cosmic-mcp: Nov 8, 18:58 UTC

DevOps and infrastructure Security

Setup snippets

Generated from the registry entry. cosmic-mcp has not run or reviewed this server; values in angle brackets are yours to fill in.

Run it locally (pypi)

uvx 'proofflow-mcp==0.1.2'

Claude Desktop (claude_desktop_config.json)

{
  "mcpServers": {
    "proofflow": {
      "args": [
        "proofflow-mcp==0.1.2"
      ],
      "command": "uvx",
      "env": {
        "PROOFFLOW_API_KEY": "<your proofflow api key>",
        "PROOFFLOW_BASE_URL": "<your proofflow base url>"
      }
    }
  }
}

Claude Code

claude mcp add 'proofflow' -- uvx 'proofflow-mcp==0.1.2'

Cursor (.cursor/mcp.json)

{
  "mcpServers": {
    "proofflow": {
      "args": [
        "proofflow-mcp==0.1.2"
      ],
      "command": "uvx",
      "env": {
        "PROOFFLOW_API_KEY": "<your proofflow api key>",
        "PROOFFLOW_BASE_URL": "<your proofflow base url>"
      }
    }
  }
}

VS Code (.vscode/mcp.json)

{
  "servers": {
    "proofflow": {
      "args": [
        "proofflow-mcp==0.1.2"
      ],
      "command": "uvx",
      "env": {
        "PROOFFLOW_API_KEY": "<your proofflow api key>",
        "PROOFFLOW_BASE_URL": "<your proofflow base url>"
      },
      "type": "stdio"
    }
  }
}

Related servers

  • AgentTrust — Identity & Trust for A2A Agents Verified domain
    Identity, trust, and A2A orchestration for autonomous AI agents. Official A2A partner.
  • 13FLOW
    Source-linked SEC 13F research, quality checks, watchlists and audit trails for agents.
  • 1Claw Vault
    HSM-backed vault secrets for AI agents (JIT fetch) plus prompt-injection and threat scanning.
  • 212medya Growth Check Verified domain
    Audit a public website for B2B marketing readiness and AI search visibility.
  • 3ilm-mcp
    Search 1,032 verified smart contract vulnerability findings from Sherlock audits by pattern.
  • 402shield
    x402 payment security and pre-execution transaction risk screening for autonomous AI agents.