Related Servers

No user-submitted related servers found.

Related Servers

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

  23

  MIT

• Spec Kit Acceptance Gate MCP

  clauxel

  F

  license

  -Not graded

  quality

  D

  maintenance

  Enables spec-driven development acceptance gate with structured receipts, audit logs, and reviewer-ready evidence.

  Updated 3 months ago (2026-05-20 13:22 UTC)

• 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 5 days ago (2026-08-22 14:07 UTC)

• dsh-schema-migration-proof

  dongsheng123132

  A

  license

  -Not graded

  quality

  C

  maintenance

  Lets users inspect and verify content-addressed schema migration evidence offline, checking idempotence, reversible rollback, required invariants, and explicit lossy-field disclosure without executing migrations or accessing data.

  Updated 6 days ago (2026-08-21 05:11 UTC)

  MIT

• 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
• 

  EVIDIQ Rubric MCPofficial

  evidiq

  A

  license

  -Not graded

  quality

  B

  maintenance

  Determines whether a deliverable meets its contract using deterministic rules, criteria, and signed attestations.

  Updated 18 days ago (2026-08-09 03:03 UTC)

  1

  MIT