Skip to main content
Glama
Sign In
Proofpack

Proofpack

by 2648782102
OverviewSchemaSourceRelated ServersDiscussionsAdmin
TypeScript
Local

Related Servers

Alternatives to Proofpack

No user-submitted related servers found.

    Related Servers

    • Universal Change Review

      IP-DZ
      A
      license
      Not graded
      quality
      D
      maintenance
      A local, read-only Git change review tool that provides total workspace diffs, staged/unstaged views, file-level inspection, and task-scoped snapshots for MCP-compatible clients like Codex, Claude Code, and Cursor.
      MIT

    • DiffCI

      DiffCI
      A
      license
      B
      quality
      B
      maintenance
      Local stdio MCP server (diffci-mcp) that tells AI coding agents which tests and checks their change affects, explains why, and verifies the working tree before push, falling back to the full suite when evidence is incomplete. MIT, no account, sends nothing by default.
      9
      3
      MIT

    • agent-review

      yibei-wz
      A
      license
      Not graded
      quality
      D
      maintenance
      A local-first, auditable code review MCP server that freezes Git changes, creates immutable ReviewBundles, provides role-isolated contexts for correctness, security, architecture, and test reviewers, validates structured findings, and generates deterministic JSON/Markdown reports.
      6 npm
      1
      Apache 2.0

    • git-history-viewer

      peekaboo-develop
      A
      license
      Not graded
      quality
      D
      maintenance
      A local-first MCP server that provides read-only access to Git repository history, exposing commit metadata and optionally content patches via configurable policies, with optional AI-powered analysis while never modifying Git state.
      2 npm
      Apache 2.0

    • sofagent

      KongFangXun
      A
      license
      B
      quality
      B
      maintenance
      Commit-time audit engine for AI coding agents. Scans git diffs with 24 audit rules, writes HMAC-signed tamper-evident audit history, and ships MCP tools for governance aggregation.
      104
      55
      MIT

    • Spec Evidence Lab MCP Server

      navalcode
      A
      license
      Not graded
      quality
      C
      maintenance
      Enables MCP clients to check acceptance evidence against a specification and JUnit results, and to review structured AI proposals for current contract hash, coverage, and in-scope paths. Both tools are read-only, idempotent, content-based, and require no model credentials or filesystem access.
      MIT

    This server cannot be deployed

    Claude Code, inside the Godot 4 editorFlockbay puts an AI agent in the real Godot 4 editor: it writes GDScript, runs your game and fixes what breaks. Free, or bring your own Claude Code or Codex.flockbay.comAd

    Maintenance

    ActivityMaintained
    ResponsivenessNo recent community issues

    Resources