Costwright Mcp

Name: Costwright Mcp
Author: hernaninverso

本地服务

github.com/hernaninversoAI 与智能体017 周前更新

关于 Costwright Mcp

Costwright Mcp 可静态分析使用 LangGraph、CrewAI 或 OpenAI-Agents-SDK 构建的 Python Agent 工作流，无需运行代码。它识别最坏情况 token 预算，并可签发记录于公共透明日志的证书。

主要功能

01通过 AST 分析工作流图
02识别预算和失控风险
03标记未设 token 上限的 LLM 调用
04签发签名预算证书
05验证证书和公钥

适用场景

01部署前检查 token 预算
02查找无上限调用和失控循环
03验证预算证书

MCP 相关

通过 MCP 工具提供静态仓库分析、证书签发与验证以及公钥查询。分析和签发需要 API 密钥；验证和公钥查询可公开使用。

配置

本地服务的配置在各客户端中通用，复制后粘贴到客户端的 MCP 配置文件即可。

mcp.json · 通用配置

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

启动命令npx -y costwright-mcp

需要配置的环境变量

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

本地服务需要在你的电脑上安装运行环境（如 Node.js 18+）。各客户端的配置文件位置不同，请参考客户端文档。

安装包

npmcostwright-mcp0.1.1stdio

工具

收录的工具列表 · 更新于 2 周前

参数	类型	必填	说明
repo_path	string	是	要分析的本地 Python 代码仓库／目录的绝对路径。
policy	enum	否	分析策略。default \| strict

详细介绍

costwright — MCP 服务

LLM Agent 工作流的静态最坏情况令牌预算分析。 将其指向使用 LangGraph / CrewAI / OpenAI-Agents-SDK 的 Python 仓库，它会通过纯 AST 分析报告每个工作流图的最坏情况预算上限，无需运行代码：哪些单元可认证／依赖默认值／不可认证／可能失控，以及哪些 LLM 调用没有令牌上限。它还可选择签发 Ed25519 签名预算证书，并将其记录到公开透明日志中。封装托管的 costwright API；其背后有 Lean 4 成本可靠性定理支持。

在部署 Agent 工作流前使用它，找出缺失的令牌上限和 while True: 失控驱动程序——相当于对预算进行类型检查。

工具

工具	功能	需要密钥？
`costwright_check(repo_path, policy?)`	对本地仓库进行静态预算分析。返回通过／失败结果，以及可认证／依赖默认值／不可认证／可能失控单元的数量。	是
`costwright_certify(repo_path, policy?, label?)`	签发签名预算证书并记录到日志。返回 cert_id + signature + verify_url。	是
`costwright_verify(cert_id)`	按 ID 验证证书（有效／已过期／已撤销，检查签名）。	公开
`costwright_pubkey()`	获取用于离线验证的有效 Ed25519 公钥。	公开

设置

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

默认情况下，密钥会通过 RapidAPI 通道作为 X-RapidAPI-Key 发送；设置 COSTWRIGHT_DIRECT=1 可通过直接通道将其作为 Authorization: Bearer 发送。无需密钥即可使用 verify 和 pubkey。

check／certify 会在客户端构建仅包含 .py 文件的 repo_path gzip 压缩包（排除 venv、node_modules、tests 等），并发送以供分析——你的源代码会上传到托管 API。参见 https://eleata.io/privacy/。采用 MIT 许可。