English Français العربية

costwright — agent budget analysis

السجل الرسمي الذكاء الاصطناعي والوكلاء

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

الشيفرة المصدرية التوثيق

التثبيت

أضف هذا إلى إعدادات MCP في عميلك (Claude Desktop: claude_desktop_config.json، وCursor: ‏.cursor/mcp.json، ويستخدم VS Code وغيره الصيغة نفسها «mcpServers»).

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 (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>"
            }
        }
    }
}

متغيرات البيئة

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

التوثيق

مأخوذ من ملف README للمشروع على GitHub ويُحدَّث أسبوعيًا. تفتح الروابط على 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.

الأسئلة الشائعة

ما هو costwright — agent budget analysis؟

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

كيف أثبّت costwright — agent budget analysis؟

يعمل على جهازك. في 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 من هذه الصفحة في إعدادات MCP الخاصة بهم.

هل يحتاج costwright — agent budget analysis إلى مفتاح API؟

نعم. يتطلب COSTWRIGHT_API_KEY، وتضبطها في إعداداته.

هل costwright — agent budget analysis مفتوح المصدر؟

شيفرته علنية على GitHub، لكن المستودع لا يعلن ترخيصًا قياسيًا.

من يصون costwright — agent budget analysis؟

ينشره hernaninverso. يدرجه AI.tn لكنه لا يصونه ولا يوصي به.

من سجل MCP الرسمي. الإدراج ليس توصية: راجع شيفرة الخادم وصلاحياته قبل منحه الوصول إلى بياناتك.