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

• proofspec

  christian140903-sudo

  A

  license

  -

  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 a month ago (2026-07-17 22:30 UTC)

  23

  MIT

• DoneProof MCP

  efficjump

  A

  license

  -

  quality

  C

  maintenance

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

  Updated 15 days ago (2026-08-04 11:37 UTC)

  MIT

• DinCoder

  flight505

  A

  license

  -

  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 10 months ago (2025-10-22 15:42 UTC)

  73

  2

  MIT

• ShipReceipt MCP Server

  WXBR

  A

  license

  -

  quality

  B

  maintenance

  Provides tools to create, run, and verify deterministic delivery receipts for completion claims, enabling reviewers to check freshness and correctness of evidence.

  Updated a month ago (2026-07-17 05:04 UTC)

  MIT

• ArtifactGuard

  blackcow4234-lab

  F

  license

  -

  quality

  B

  maintenance

  Enables AI agents to validate deliverables (JSON, ZIP, PDF, DOCX) against signed contracts, generating verifiable receipts with Ed25519 signatures.

  Updated 13 days ago (2026-08-06 14:04 UTC)