{
  "markdown": "# costwright — MCP server\n\n**Static worst-case token-budget analysis for LLM-agent workflows.** Point it at a Python repo\nusing LangGraph / CrewAI / OpenAI-Agents-SDK and it reports — by pure AST analysis, **without\nrunning the code** — the worst-case budget ceiling of every workflow graph: which units are\n*certifiable / default-dependent / non-certifiable / runaway*, and which LLM calls have no token\ncap. Optionally issues an Ed25519-**signed budget certificate** logged to a public transparency log.\nWraps the hosted [costwright](https://eleata.io) API; backed by a Lean 4 cost-soundness theorem.\n\n> Use it before deploying an agent workflow to catch missing token caps and `while True:` runaway\n> drivers — the budget version of a type check.\n\n## Tools\n\n| Tool | What it does | Key? |\n|------|--------------|------|\n| `costwright_check(repo_path, policy?)` | Static budget analysis of a local repo. Returns pass/fail + counts of certifiable/default-dependent/non-certifiable/runaway units. | yes |\n| `costwright_certify(repo_path, policy?, label?)` | Issues a signed, logged budget certificate. Returns cert_id + signature + verify_url. | yes |\n| `costwright_verify(cert_id)` | Verify a certificate by id (valid/expired/revoked, signature check). | **public** |\n| `costwright_pubkey()` | Active Ed25519 public keys for offline verification. | **public** |\n\n## Setup\n\n```json\n{\n  \"mcpServers\": {\n    \"costwright\": {\n      \"command\": \"npx\",\n      \"args\": [\"-y\", \"costwright-mcp\"],\n      \"env\": { \"COSTWRIGHT_API_KEY\": \"your_rapidapi_key\" }\n    }\n  }\n}\n```\n\nThe key is sent as `X-RapidAPI-Key` (RapidAPI channel) by default; set `COSTWRIGHT_DIRECT=1` to send\nit as `Authorization: Bearer` for the direct channel. `verify` and `pubkey` work with no key.\n\n`check`/`certify` build a `.py`-only gzip archive of `repo_path` client-side (excluding venv,\nnode_modules, tests, etc.) and send it for analysis — your source is uploaded to the hosted API.\nSee <https://eleata.io/privacy/>. MIT licensed.\n",
  "bytes": 1997,
  "sha": "bd69bd78e435a6c8cf6d372a6fdfa28446d68c0bc54d8f5f245c79e8c70af8e3",
  "repo_slug": "hernaninverso/costwright-mcp",
  "fonte": "repo",
  "truncated": false,
  "api": "https://agentalog.com/api/listings/mcp_io_github_hernaninverso_costwright_mcp_a6087490/readme"
}