Related Servers

No user-submitted related servers found.

Related Servers

• AI Workbench MCP

  hrishikesh-thakre

  A

  license

  C

  quality

  C

  maintenance

  Enables acceptance gates for AI coding-agent runs by recording evidence, running deterministic validation, applying a quality gate, and rendering auditable outcomes.

  Updated 2 months ago (2026-06-27 17:03 UTC)

  7

  Apache 2.0

• codex-protocol-guardian

  wewq36720-cyber

  F

  license

  -Not graded

  quality

  C

  maintenance

  Enforces protocol-driven development by validating requirements, designs, scope, and acceptance evidence, while maintaining immutable, traceable governance archives.

  Updated 20 days ago (2026-08-22 14:07 UTC)

  -

• proofspec

  christian140903-sudo

  A

  license

  -Not graded

  quality

  B

  maintenance

  Enables defining and verifying evidence contracts for claims in READMEs, releases, or product pages using constrained verifiers and generating hash-chained receipts and reports.

  Updated 2 months ago (2026-07-17 22:30 UTC)

  10

  MIT

• DoneProof MCP

  efficjump

  A

  license

  A

  quality

  C

  maintenance

  Converts implementation objectives into explicit acceptance criteria and a traceable evidence matrix with hash-linked ledger, enabling deterministic completion assessment.

  Updated a month ago (2026-08-04 11:37 UTC)

  12

  MIT

• DinCoder

  flight505

  A

  license

  -Not graded

  quality

  C

  maintenance

  Implements GitHub's Spec-Driven Development methodology, transforming natural language requirements into executable specifications, technical plans, and ordered task lists with contract-based validation and progress tracking.

  Updated a year ago (2025-10-22 15:42 UTC)

  6

  2

  MIT

• agentseed

  Morningstar202604

  A

  license

  -Not graded

  quality

  A

  maintenance

  Enables AI coding agents to enforce spec-driven development and verify code before it is marked done, using six tools that catch invented APIs, scan for hallucinated content, check plugin conformance, sandbox-run tests, validate schemas, and record audit evidence.

  Updated 2 days ago (2026-09-09 07:32 UTC)

  771

  8

  PolyForm Noncommercial 1.0.0