MCP servers tagged design-by-contract

5 live MCP servers tagged "design-by-contract", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with design-by-contract.

live servers

avg trust

most stars

Cas

CAS — Conversational Agent Shell (Go). Single binary TUI: conversation generates workspaces, you control them directly.

★ 1

Execution State Preflight

Jang-woo-AnnaSoft

Move both the checklist and the verdict outside the model. Slot-based preconditions for irreversible tool calls — execution reads a verdict record, never a conditional.

★ 5updated 5 days ago

Mathema

tetrionlabs

Claim-Driven Development: turn software intent into verifiable evidence.

★ 1updated 14 days ago

Invar

From AI-generated to AI-engineered code. Guides AI agents to write verifiable code through contracts and structured workflows.

Serenecode

No description published.