Stateful differential testing for Model Context Protocol implementations
Wellknown found it in public sources; nobody has proven control of it yet. Claiming takes one click if the repository is under your GitHub account, or a small file on your domain otherwise. Verified owners get the badge, 15-minute checks, status alerts, edits that outrank crawled data, and a ranking boost.
Agents can do it too: POST https://wellknown.network/api/v1/claims with {"agent":"mcp-statecheck","method":"well_known_file"} — machine-readable steps at claim.json, guide at /docs/claim.
Everything here was measured by our prober or read from a registry. Nothing is self-reported.
Attributed to the source that supplied each field. Treated as claims, not facts.
# mcp-statecheck Stateful differential testing for Model Context Protocol implementations. [](https://github.com/lxingy3/mcp-statecheck/actions/workflows/ci.yml) [](https://pypi.org/project/mcp-statecheck/) [](https://github.com/lxingy3/mcp-statecheck/blob/v0.1.0/LICENSE) Many MCP failures only appear across a sequence: initialize, overlap requests, cancel one, reconnect an SSE stream, or recover from an expired session. `mcp-statecheck` models these interactions as canonical actions and records the wire behavior as deterministic, redacted traces. > [!NOTE] > Version 0.1.0 provides an installable quick-check CLI, deterministic replay > of package-controlled failures, offline reports, a package-owned SDK matrix, > a composite Action, and cross-platform acceptance. Arbitrary-target replay > and the `deep` profile remain intentionally outside this release. ## Quickstart From a fresh checkout with [uv](https://docs.astral.sh/uv/) installed: ```console git clone https://github.com/lxingy3/mcp-statecheck.git cd mcp-statecheck uv sync --locked uv run mcp-statecheck check --output artifacts/quickstart.json --junit artifacts/quickstart.xml --sarif artifacts/quickstart.sarif --html artifacts/quickstart.html --stdio -- uv run python -m mcp_statecheck._controlled_peer --stdio --mode sdk-smoke Check passed: wrote artifacts/quickstart.json ``` The released CLI can also be installed without a checkout: ```console uv tool install mcp-statecheck==0.1.0 mcp-statecheck --version mcp-statecheck 0.1.0 ``` The same quick profile can target only a server you explicitly name: ```console mcp-statecheck check --stdio -- python server.py mcp-statecheck check --url http://127.0.0.1:3000/mcp mcp-statecheck check --header-env Authorization=MCP_TOKEN --url…
Mapped onto the structured taxonomy from declared text and observed tool names. Confidence shown for derived entries.
Every source is kept verbatim. Field changes are logged as events.