English Français العربية

costwright — agent budget analysis

Official registry AI and agents

Static worst-case token-budget analysis for LLM-agent workflows + signed budget certificates.

Source code Documentation

Install

Add this to your client's MCP configuration (Claude Desktop: claude_desktop_config.json; Cursor: .cursor/mcp.json; VS Code and others use the same "mcpServers" shape).

NPM package costwright-mcp
Claude Code 
claude mcp add costwright-agent-budget-analysis -e 'COSTWRIGHT_API_KEY=<your costwright_api_key>' -- npx -y costwright-mcp@0.1.1
JSON configuration (Claude Desktop, Cursor, VS Code) 
{
    "mcpServers": {
        "costwright-agent-budget-analysis": {
            "command": "npx",
            "args": [
                "-y",
                "costwright-mcp@0.1.1"
            ],
            "env": {
                "COSTWRIGHT_API_KEY": "<your costwright_api_key>"
            }
        }
    }
}

Environment variables

  • COSTWRIGHT_API_KEY secret API key for costwright (RapidAPI key or direct Bearer). Only needed for check/certify; verify/pubkey are public.

Documentation

From the project's README on GitHub, refreshed weekly. Links open on GitHub.

costwright — MCP server

Static worst-case token-budget analysis for LLM-agent workflows. Point it at a Python repo using LangGraph / CrewAI / OpenAI-Agents-SDK and it reports — by pure AST analysis, without running the code — the worst-case budget ceiling of every workflow graph: which units are certifiable / default-dependent / non-certifiable / runaway, and which LLM calls have no token cap. Optionally issues an Ed25519-signed budget certificate logged to a public transparency log. Wraps the hosted costwright API; backed by a Lean 4 cost-soundness theorem.

Use it before deploying an agent workflow to catch missing token caps and while True: runaway drivers — the budget version of a type check.

Tools

ToolWhat it doesKey?
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
costwright_certify(repo_path, policy?, label?)Issues a signed, logged budget certificate. Returns cert_id + signature + verify_url.yes
costwright_verify(cert_id)Verify a certificate by id (valid/expired/revoked, signature check).public
costwright_pubkey()Active Ed25519 public keys for offline verification.public

Setup

{
  "mcpServers": {
    "costwright": {
      "command": "npx",
      "args": ["-y", "costwright-mcp"],
      "env": { "COSTWRIGHT_API_KEY": "your_rapidapi_key" }
    }
  }
}

The key is sent as X-RapidAPI-Key (RapidAPI channel) by default; set COSTWRIGHT_DIRECT=1 to send it as Authorization: Bearer for the direct channel. verify and pubkey work with no key.

check/certify build a .py-only gzip archive of repo_path client-side (excluding venv, node_modules, tests, etc.) and send it for analysis — your source is uploaded to the hosted API. See https://eleata.io/privacy/. MIT licensed.

Frequently asked questions

What is costwright — agent budget analysis?

Static worst-case token-budget analysis for LLM-agent workflows + signed budget certificates.

How do I install costwright — agent budget analysis?

It runs on your machine. In Claude Code: claude mcp add costwright-agent-budget-analysis -e 'COSTWRIGHT_API_KEY=<your costwright_api_key>' -- npx -y costwright-mcp@0.1.1. For other clients, paste the JSON configuration from this page into their MCP settings.

Does costwright — agent budget analysis need an API key?

Yes. It expects COSTWRIGHT_API_KEY, which you set in its configuration.

Is costwright — agent budget analysis open source?

Its code is public on GitHub, but the repository does not declare a standard license.

Who maintains costwright — agent budget analysis?

It is published by hernaninverso. AI.tn lists it but does not maintain or endorse it.

From the official MCP Registry. Listing is not an endorsement: review a server's code and permissions before giving it access to your data.