{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_r82fbgyzrxcu","handle":"stubborn-mcp","url":"https://wellknown.network/agents/stubborn-mcp","links":{"self":"https://wellknown.network/agents/stubborn-mcp/record.json","html":"https://wellknown.network/agents/stubborn-mcp","markdown":"https://wellknown.network/agents/stubborn-mcp/record.md","api":"https://wellknown.network/api/v1/agents/stubborn-mcp","status":"https://wellknown.network/api/v1/agents/stubborn-mcp/status","claim":"https://wellknown.network/agents/stubborn-mcp/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/stubborn-mcp/claim.json","badge":"https://wellknown.network/agents/stubborn-mcp/badge.svg","openapi":"https://wellknown.network/openapi.json"},"ard":{"identifier":"urn:air::server:stubborn-mcp","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"stubborn-mcp","summary":"MCP server for Stubborn — deterministic code and contract context","description":"# stubborn-mcp\n\n**MCP server for [Stubborn](https://github.com/stubborn-ai/stubborn)** — exposes source-neutral code and contract graph tools to Cursor and other MCP clients.\n\n[![PyPI](https://img.shields.io/pypi/v/stubborn-mcp)](https://pypi.org/project/stubborn-mcp/)\n\nThin adapter over [`stubborn.api`](https://github.com/stubborn-ai/stubborn/blob/main/src/stubborn/api.py). All compile and contract graph logic lives in **[`stubborn-stub`](https://pypi.org/project/stubborn-stub/)**.\n\nPart of the [stubborn-ai](https://github.com/stubborn-ai) program — see [stubborn-hub](https://github.com/stubborn-ai/stubborn-hub).\n\n## Install\n\n```bash\npip install stubborn-stub stubborn-mcp\nstubborn try   # bundled fixture smoke test (no Java)\n```\n\nFor binary/NDJSON SCIP indexing, install Stubborn with its SCIP extra:\n\n```bash\npip install \"stubborn-stub[scip]\" stubborn-mcp\nstubborn index --scip index.scip --out metadata/symbols.db\nexport STUBBORN_DB=metadata/symbols.db\nstubborn-mcp\n```\n\nContract-only databases are also supported:\n\n```bash\nstubborn index-openapi \\\n  --openapi openapi.json \\\n  --service customers-service \\\n  --workspace petclinic \\\n  --out metadata/symbols.db\nexport STUBBORN_DB=metadata/symbols.db\nstubborn-mcp\n```\n\n## Cursor configuration\n\n`.cursor/mcp.json`:\n\n```json\n{\n  \"mcpServers\": {\n    \"stubborn\": {\n      \"command\": \"stubborn-mcp\",\n      \"env\": {\n        \"STUBBORN_DB\": \"${workspaceFolder}/metadata/symbols.db\"\n      }\n    }\n  }\n}\n```\n\nModule entry: `python -m stubborn_mcp`\n\n## Tools\n\n| Tool | Purpose |\n|------|---------|\n| `workspace_info` | Inspect workspace source kinds: code repos, contract sources, symbols, endpoints |\n| `get_context` | Prune + weave code or contract context (`java-stub` or `stubborn-dsl`) |\n| `list_symbols` | Browse/search symbols by `stable_id` |\n| `list_contracts` | Browse/search OpenAPI contract endpoint stable IDs and schema constraints |\n| `metrics` | Compression KPI vs source tree |\n\nFull parameter reference: [docs/MCP.md](docs/MCP.md)…","publisher":{"name":"Stubborn contributors","url":null},"homepage":"https://github.com/stubborn-ai/stubborn-mcp#readme","repository":"https://github.com/stubborn-ai/stubborn/blob/main/CHANGELOG.md","version":"0.10.0b2","license":null,"protocols":["mcp"],"tags":["code-context","cursor","llm","mcp","openapi","scip","stubborn"],"pricing":null,"endpoints":[{"url":"pypi:stubborn-mcp","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":"data.apis","name":"API Access","confidence":1,"provenance":"declared"},{"slug":"dev.docs-lookup","name":"Documentation Lookup","confidence":0.791,"provenance":"derived"}],"categories":["data","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":"stubborn-mcp","registry":"pypi","observedAt":"2026-09-10T13:21:38.838Z","publishedAt":"2026-07-12T08:05:37.834223Z","latestVersion":"0.10.0b2"}},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"pypi","key":"stubborn-mcp","url":"https://pypi.org/project/stubborn-mcp/","firstSeenAt":"2026-09-10T13:19:58.860Z","fetchedAt":"2026-09-10T13:19:58.860Z","normalizedAt":"2026-09-10T13:19:58.860Z"}]},"firstSeenAt":"2026-09-10T13:19:58.860Z","updatedAt":"2026-09-10T13:21:38.838Z"}