beta
Menu
Test your AI system free
MCP testing · contracts

Turn a live MCP server into a reviewable contract.

Inspect and test tools, resources, prompts, schemas, metadata, and expected outputs. Prooflane automates quality checks and classifies drift as identical, non-breaking, or breaking so interface changes become deliberate.

stdio + HTTPJSON + YAMLCI exit codes
payments.mcp · capability diff
$ prooflane diff baseline.kawach

tools       14 → 15  non-breaking
resources    3 →  3  identical
prompts      4 →  4  identical

+ tool payments.refund_preview
~ schema payments.charge
  required field added: idempotency_key

FAIL · 1 breaking schema change
Contract coverage

Protect discovery and behavior together.

Capability drift reveals surface changes; response contracts reveal behavior changes.

DISCOVERY

Tools, resources, prompts

Track names, descriptions, schemas, URIs, arguments, and protocol metadata.

BEHAVIOR

Expected tool output

Snapshot representative calls and compare normalized content with stable paths and assertions.

CLASSIFICATION

Breaking-aware diffs

Separate additive changes from removed capabilities, new required fields, and incompatible types.

BASELINES

Reviewable artifacts

Commit readable JSON or YAML contracts next to the application that depends on them.

AUTOMATION

Generated tests

Turn snapshots into Jest, pytest, REST Assured, or native Prooflane tests.

CI

Regression gates

Emit JSON and annotations so pull requests explain exactly what changed.

Workflow

A contract loop for every MCP release.

01

Connect

Discover the live protocol surface through stdio or streamable HTTP.

02

Capture

Save capabilities, representative inputs, outputs, and assertions.

03

Review

Commit the baseline and review intentional interface evolution.

04

Gate

Diff live behavior and fail CI only when policy says the change breaks consumers.

prooflane snapshot --all .prooflane/payments.kawach
prooflane diff .prooflane/payments.kawach --github
Part of the spine

A stable interface strengthens every other test.

Local-first foundation

Make MCP changes observable.

Capture the contract once, then keep every dependent agent honest.

30-day full-access trial. No credit card required.