semvec/pypi-packages huggingface dataset:
mcp-contract-executor 0.0.7
Minimal contract-first MCP server
Requires Python: <4.0,>=3.11

# mcp-contract-executor

极简版 contract-first MCP server。仅四个核心文件：`server.py`、`worker.py`、`dispatch.py`、`contract.py`。

工作流：
1) 主会话生成并覆盖写 `/.codex/contract.json`（questions 需为空）。
2) 调用 `squad_start(cwd, query, options?)` 启动一次执行；返回 ≤3 行 digest。
3) 按 `forced_wait_s` 轮询 `squad_status(run_id, options={"cwd":...})` 续租；需要时 `cancel=true`。
4) 断联超过 lease_ttl（默认 120s）自动中止 codex；终态包含 artifact 提示（diffstat/report）。

存储：`<repo>/.codex/contract-executor/runs/<run_id>/`（state.json、artifacts/diffstat.txt、report.md、jobs/*）。
mcp-contract-builder 0.0.7
Contract builder MCP tool (simple|auto|llm) without execution
Requires Python: <4.0,>=3.11

# mcp-contract-builder

Contract 生成工具（simple|auto|llm），不执行代码。输出仅短 digest，生成/覆盖 `/.codex/contract.json`。

工具：
- `contract_build(cwd, query, mode)`：`mode` 必填（simple|auto|llm）。返回 `contract_path`、`used_llm`、`difficulty`、`event_lines<=3`，必要时返回 `need_input`（不写文件）。

行为：
- simple：零 LLM，用规则生成合同（goal=用户一句；scope_allow 基于关键词匹配文件/目录；scope_deny=通用禁区；acceptance=通用 2–3 条；questions 为空）。
- llm：调用一次 LLM 生成完整合同（goal/scope_allow/scope_deny/acceptance/questions/risk_flags/context_budget），若 questions 非空则返回 need_input。
- auto：根据关键词/长度判定简单/复杂，选择 simple 或 llm。

存储：
- 合同写入 `/.codex/contract.json`
- 模板示例：`/.codex/contract.template.json`（需主会话/用户准备或复用已有模板）