Provider Pack

spec-runtime-setup 当前完整 baseline 包括 Sequential Thinking、Context7、ffmpeg、CodeGraph 与 Graphify。裸入口会展示整批 setup 计划并要求一次确认；--only codegraph、--only graphify 或 --only codegraph,graphify 只是高级子集修复。Provider 输出仍是候选证据，不能替代当前源码、测试、日志或用户证据。

Provider pack 的目标是增强代码导航和候选影响面，不是让 spec-first 依赖某个中心化图数据库。普通 workflow 在 setup 不完整时仍可以用 direct evidence，但完整 Runtime Setup 不能因此标记为 ready。

Machine Registry

Source	内容
`skills/spec-runtime-setup/setup-registry.json`	required MCP、helper 与 CodeGraph / Graphify baseline registry
`skills/spec-runtime-setup/SKILL.md`	Runtime Setup contract、required baseline 与 host/provider 边界
`skills/spec-runtime-setup/scripts/`	setup、provider readiness 与 facts reconciliation 的确定性实现

Required MCP

MCP	启动方式	作用
Sequential Thinking	`npx -y @modelcontextprotocol/server-sequential-thinking@latest`	复杂问题拆解与反思式推理
Context7	`npx -y @upstash/context7-mcp@latest`	查询当前框架 / 库文档

Provider Readiness

Provider	安装来源	Setup 写入 / 生成	使用边界
CodeGraph	`@colbymchenry/codegraph@1.5.0`	`.codegraph/codegraph.db`、host MCP config	提供 impact / call graph candidates；结论必须回源确认
Graphify	PyPI `graphifyy@0.9.29`	当前 `graphify-out/`；legacy `.graphify/`；provider project skill / git hook	提供 architecture map / path / explain candidates；不自动提交产物

Graphify setup 当前 pin 为 PyPI graphifyy@0.9.29（非 npm @sentropic/graphify；verified 后可移除旧 npm incumbent）。可能写宿主 skill/hook surface、graphify-out/ 当前产物；.graphify/ 仅作 legacy/foreign-default evidence。setup 会报告这些 provider-owned writes，但不会自动 add、commit 或把它们提升成 spec-first source truth。

Guided Setup

text

spec-runtime-setup
  |
  v
展示包含 CodeGraph / Graphify 的完整 setup 计划
  |
  +-- 用户确认
  |     -> 安装/验证 provider，生成 project-local provider artifacts
  |
  +-- 用户拒绝
        -> setup 返回未完成；后续普通 workflow 可用 direct evidence 降级

Degraded 使用规则

状态	下游规则
provider 未安装或 setup 不完整	不阻塞普通 brainstorm / plan / work / review，但不得将 Runtime Setup 宣称为 complete
provider stale	披露 stale，优先读取当前源码和 diff
provider query 成功	作为候选路径或候选影响面，不直接写成 verified claim
provider 输出冲突	当前源码、测试、日志、用户证据优先

下一步

Provider Evidence Overview：理解证据优先级
Control-plane Artifacts：查看当前 .spec-first/ 事实目录
Troubleshooting：按症状排查 setup / provider 问题

Provider Pack ​

Machine Registry ​

Required MCP ​

Provider Readiness ​

Guided Setup ​

Degraded 使用规则 ​

下一步 ​