Static frontend↔backend contract-drift checker. Pact without writing a single contract test.

MCP server that calls your real API and checks the response against your OpenAPI spec — contract testing, auth presets, spec diffing, and health checks for Claude Code, Cursor, and Windsurf.

MCP server that lets AI agents load an OpenAPI spec, call real endpoints, validate responses against the documented schema, run a full contract-test pass, diff two spec versions for breaking changes, and health-check a set of endpoints.

OpenAPI testing and deterministic API fuzzing for AI agents—catch contract bugs before unsafe calls with local-first sealed plans, MCP, and replayable evidence.

A Model Context Protocol (MCP) server that exposes Specmatic's contract testing capabilities to AI coding agents like Claude Code. This server enables comprehensive API contract validation and mock server management for development workflows.

Local web Studio for testing natural-language-to-JSON workflows with JSON Contracts.

Oracle3: open-source trading engine and MCP server for prediction markets. Finds fee-adjusted no-arbitrage violations across related event contracts and trades them live on Kalshi, Polymarket and Solana, or on paper, under pre-trade risk limits. 13 MCP tools, JSON CLI, agent skills, 600+ tests.

Local-first MCP server and CLI that audits test suites for false-green tests: tautological assertions, mock-contract drift, and mock hygiene. Read-only and deterministic, across TypeScript, PHP, Python and Rust.

Schema-change detector and data-contract tests

Fable 5.1 Multi-Agent Architect & Invariant Verification Gate for Claude Code, Cursor & Web. Decouples task contracts from worker subagents with adversarial failure injection testing. BYOK (Claude 3.7, GPT-4o, DeepSeek, Ollama).

Catch broken merges between parallel AI coding agents (Claude Code, Codex, cmux, Orca, git worktree). Combines worktree branches, checks conflicts and contract breaks, runs affected tests. Local CLI + MCP server.

Stackglass is the observability and verification layer for AI-assisted development. Cursor writes and reasons about code. Stackglass gives that agent evidence about state, tests, failures, history, configuration, contracts, and documentation — so it does not have to guess.

MCP server for the Federal Register. Track proposed rules, final rules, notices, executive orders, FAR cases, and comment periods. Searches Federal Register documents since 1994 with full-text and metadata filters. Includes comment period tracking and FAR case history workflows for monitoring acquisition policy changes. **8 tools.** No authentication required. Hardened across 5 audit rounds with 182 regression tests. Built for GS-1102 contracting officers and regulatory analysts.

MCP server for the Electronic Code of Federal Regulations (eCFR). Read FAR, DFARS, and all agency FAR supplements with point-in-time version history. Provides FAR clause lookups, DFARS lookups, agency FAR supplement access, version history, and full-text CFR search across all 50 titles. Updated daily from the source of record. **13 tools.** No authentication required. Hardened across 6 audit rounds with 240 regression tests. Built for GS-1102 contracting officers and acquisition policy researchers.

MCP server for GSA Per Diem Rates. Federal travel lodging and M&IE rates for IGCEs, travel CLINs, and contractor travel cost estimation. Look up rates by city, state, or ZIP across all CONUS locations. Returns monthly lodging rates with seasonal variations, M&IE breakdowns, and first/last day travel rates at 75%. **6 tools.** Optional free api.data.gov key for 1,000 req/hr. Without a key, falls back to DEMO_KEY at 30/hr, 50/day. Hardened across 7 audit rounds with 413 regression tests including two live audits. Built for GS-1102 contracting officers and proposal pricing teams.

Catch breaking OpenAPI/REST API changes in CI before they reach production

MCP Server for comprehensive AI-powered API testing from OpenAPI specifications

Run, validate, and automate APIs directly from OpenAPI — from the CLI, Go tests, or MCP agents.

Stop your AI agent from breaking your API: OpenAPI contract checks and breaking-change diffs over MCP, fully local.

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

Replay-verified minimal JSON reproductions and deterministic TypeScript/OpenAPI drift checks. Local-first CLI and MCP server.

Model Context Protocol (MCP) server for Sajimora - deterministic cross-language API contract verification and AST guard

Deterministic cross-language API contract verification and autonomous AST impact engine for Java Spring Boot and TypeScript/Angular/React

Zevruna's MCP server. Gives a coding agent the diff, blast radius and suggested patch for a contract break, and lets it verify the fix.

Detects drift in the third-party APIs your AI agents depend on, explains it, warns your agents over MCP, and opens the pull request that adapts your code.

liquidus reference MCP server (Python / mcp SDK). F5 governance-tuple provenance wrapping on every tool result. Consumes v1.15

The API-change deploy gate for AI coding agents (MCP server): is it safe to ship this API change to my consumers? Read-only, over OpenAPI/Pact.

SpecShield MCP server — the API-change deploy gate for AI coding agents. Ask 'is it safe to ship this API change to my consumers?' inside Claude, Cursor, and other MCP clients. Analyze-only; it never modifies code.

Independent V&V for coding agents. The agent says done; Proofline re-runs every check against a contract, rejects claims the evidence does not support, and gates the push.

KG-SSOT: verifiable knowledge graphs in plain text. A formal contract for .kg.yaml and .kg.json (JSON Schema) with a conformance suite, reference readers (Python, JavaScript), CI gate, store, query, diff and MCP server. Release mirror, Apache-2.0.