Skip to main content
Glama
Sign In
ProofFlow MCP Server

ProofFlow MCP Server

by Hyperion-GPU
OverviewSchemaSourceRelated ServersDiscussionsAdmin
Python
Local

Related Servers

Alternatives to ProofFlow MCP Server

No user-submitted related servers found.

    Related Servers

    • Agent Harness Kit

      oSahu48
      A
      license
      Not graded
      quality
      A
      maintenance
      Enables AI coding providers to run structured multi-agent workflows with tracked tasks, specifications, handoffs, and health-gated completion. It exposes MCP tools for task claiming, action logging, repairs, document validation, and lifecycle evidence.
      29 npm
      MIT

    • acta-mcp

      VeritasActa
      A
      license
      A
      quality
      D
      maintenance
      Enables contributing, challenging, discovering, verifying, and querying contestable public records from AI coding tools via MCP.
      6
      60 npm
      1
      MIT

    • Hoplon

      justguy
      A
      license
      Not graded
      quality
      C
      maintenance
      Enables AI coding agents and hosts to enforce deterministic repository boundaries via MCP, providing structured reads, supervised edits, snapshots, audits, and recovery with machine-readable evidence.
      MIT

    • Agent Harness Kit

      Suzuki1440
      A
      license
      Not graded
      quality
      A
      maintenance
      Enables AI coding providers to run structured multi-agent workflows with document-backed specifications, tracked tasks, handoffs, health gates, and completion evidence. It exposes MCP tools for coordinating use cases, specs, implementation, review, and repair across supported providers.
      29 npm
      MIT

    • CornMCP

      yuki-20
      A
      license
      Not graded
      quality
      C
      maintenance
      Enables AI coding agents to perform surgical code analysis, semantic memory, and quality enforcement via 18 specialized MCP tools, with a real-time analytics dashboard.
      67
      MIT

    This server cannot be deployed

    Shareable, User-Owned Context BackendPeople, applications, and agents read, write, and coordinate together in one context lake. Reach it over MCP, a CLI, a Python SDK, or REST.fulcradynamics.comAd

    Maintenance

    ActivityNo data
    ResponsivenessSyncing

    Resources