Related Servers

No user-submitted related servers found.

Related Servers

• MCP Migration Advisor

  Dmitriusan

  A

  license

  A

  quality

  D

  maintenance

  Analyzes database migrations for risks like lock contention and data loss before they run. Supports Flyway and Liquibase formats, providing risk scores and rollback generation.

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

  6

  40

  MIT

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

• Design MCP

  S-s-Spudd

  A

  license

  -Not graded

  quality

  B

  maintenance

  Provides source-backed design context, route card validation, contract generation, critique and verification reports, evidence packages, Penpot change plans, and anti-repeat checks for design workflows. Does not directly mutate Penpot, but consumes read-only Penpot snapshots.

  Updated a month ago (2026-07-12 11:20 UTC)

  11

  MIT

• MigrationPilot

  mickelsamuel

  A

  license

  A

  quality

  A

  maintenance

  Blocks unsafe PostgreSQL migrations before an AI agent writes or runs them. check_before_apply returns a pass/fail gate; reads the real Postgres parser, classifies the lock each statement takes, checks 112 safety rules. Runs offline, no database required.

  Updated 10 days ago (2026-08-12 19:46 UTC)

  7

  212

  5

  MIT

• Ripplecheck MCP Server

  sohamkamat28

  A

  license

  B

  quality

  C

  maintenance

  Ripplecheck is a counterfactual schema migration compiler powered by the DataHub MCP Server. Paste breaking warehouse DDL and it projects the metadata graph, proves a bounded release policy, routes an executable migration DAG to owners, writes a hash-sealed decision capsule back to DataHub, and generates a merge-ready PR evidence pack.

  Updated 13 days ago (2026-08-09 20:39 UTC)

  2

  Apache 2.0