{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_z5xy2uwccvzk","handle":"mcp-statecheck","url":"https://wellknown.network/agents/mcp-statecheck","links":{"self":"https://wellknown.network/agents/mcp-statecheck/record.json","html":"https://wellknown.network/agents/mcp-statecheck","markdown":"https://wellknown.network/agents/mcp-statecheck/record.md","api":"https://wellknown.network/api/v1/agents/mcp-statecheck","status":"https://wellknown.network/api/v1/agents/mcp-statecheck/status","claim":"https://wellknown.network/agents/mcp-statecheck/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/mcp-statecheck/claim.json","badge":"https://wellknown.network/agents/mcp-statecheck/badge.svg","openapi":"https://wellknown.network/openapi.json","history":"https://wellknown.network/api/v1/agents/mcp-statecheck/history","tools":"https://wellknown.network/api/v1/agents/mcp-statecheck/tools"},"ard":{"identifier":"urn:air::server:mcp-statecheck","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"mcp-statecheck","summary":"Stateful differential testing for Model Context Protocol implementations","description":"# mcp-statecheck\n\nStateful differential testing for Model Context Protocol implementations.\n\n[![CI](https://github.com/lxingy3/mcp-statecheck/actions/workflows/ci.yml/badge.svg?branch=main)](https://github.com/lxingy3/mcp-statecheck/actions/workflows/ci.yml)\n[![PyPI](https://img.shields.io/pypi/v/mcp-statecheck.svg)](https://pypi.org/project/mcp-statecheck/)\n[![License: Apache-2.0](https://img.shields.io/badge/license-Apache--2.0-blue.svg)](https://github.com/lxingy3/mcp-statecheck/blob/v0.1.0/LICENSE)\n\nMany MCP failures only appear across a sequence: initialize, overlap requests,\ncancel one, reconnect an SSE stream, or recover from an expired session.\n`mcp-statecheck` models these interactions as canonical actions and records the\nwire behavior as deterministic, redacted traces.\n\n> [!NOTE]\n> Version 0.1.0 provides an installable quick-check CLI, deterministic replay\n> of package-controlled failures, offline reports, a package-owned SDK matrix,\n> a composite Action, and cross-platform acceptance. Arbitrary-target replay\n> and the `deep` profile remain intentionally outside this release.\n\n## Quickstart\n\nFrom a fresh checkout with [uv](https://docs.astral.sh/uv/) installed:\n\n```console\ngit clone https://github.com/lxingy3/mcp-statecheck.git\ncd mcp-statecheck\nuv sync --locked\nuv 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\nCheck passed: wrote artifacts/quickstart.json\n```\n\nThe released CLI can also be installed without a checkout:\n\n```console\nuv tool install mcp-statecheck==0.1.0\nmcp-statecheck --version\nmcp-statecheck 0.1.0\n```\n\nThe same quick profile can target only a server you explicitly name:\n\n```console\nmcp-statecheck check --stdio -- python server.py\nmcp-statecheck check --url http://127.0.0.1:3000/mcp\nmcp-statecheck check --header-env Authorization=MCP_TOKEN --url…","publisher":{"name":"Xiangyu Li","url":null},"homepage":"https://github.com/lxingy3/mcp-statecheck#readme","repository":"https://github.com/lxingy3/mcp-statecheck/blob/main/CHANGELOG.md","version":"0.1.0","license":null,"protocols":["mcp"],"tags":["mcp"],"pricing":null,"endpoints":[{"url":"pypi:mcp-statecheck","type":"package_pypi","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":null,"attribution":{"kind":"pypi","name":"pypi","repoUrl":"pypi","summary":"pypi","version":"pypi","description":"pypi","homepageUrl":"pypi","publisherName":"pypi"}},"derived":{"capabilities":[{"slug":"dev.package-management","name":"Packages & Dependencies","confidence":0.768,"provenance":"derived"},{"slug":"dev.version-control","name":"Version Control","confidence":0.745,"provenance":"derived"},{"slug":"dev.ci-cd","name":"CI/CD & Deploy","confidence":0.688,"provenance":"derived"}],"categories":["dev"],"language":"en"},"observed":{"status":"unknown","statusReason":"Distributed as a package to run locally; no network endpoint to check.","lastOkAt":null,"lastProbedAt":null,"statusComputedAt":null,"reliability30d":null,"latestObservations":[],"tools":null,"package":{"name":"mcp-statecheck","registry":"pypi","observedAt":"2026-11-09T18:26:18.405Z","publishedAt":"2026-07-30T06:59:01.446757Z","latestVersion":"0.1.0"},"toolSurface":null,"endpointFacts":[]},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"pypi","key":"mcp-statecheck","url":"https://pypi.org/project/mcp-statecheck/","firstSeenAt":"2026-09-10T04:23:22.445Z","fetchedAt":"2026-11-09T18:25:17.455Z","normalizedAt":"2026-11-09T18:25:17.455Z"}]},"firstSeenAt":"2026-09-10T04:23:22.445Z","updatedAt":"2026-11-09T18:26:18.405Z"}