10 actions in 2 pieces of software · ranked by words, meaning and measured trust · 533 ms

1. 1specmatefound in code, not yet checkedno passport yet
   • specmate_analyze

     纯代码结构审查（AST）：分析调度冲突、依赖图、调用图、寄存器追踪。⚠️ 不处理编译输出——编译诊断请用 specmate_diagnose。不支持 BSC 内部错误（如 scanLinePosDirective），method-rule 调度冲突仅能识别不能修复，当前不检测 RAW 冲突。

   • specmate_diagnose

     【编译失败首选】接收 BSC 编译完整输出，批量解析所有错误码，逐一查知识库（现象/根因/修复方案），标记可自动修复 vs 需手动判断，自动记录到知识库。注意：仅解析标准格式 [GPTBS]\d{4}，BSC 内部错误标记为 UNKNOWN 但无法提供方案。

   • specmate_diff

     追踪编译迭代中 warning 变化。snapshot=存储快照，diff=对比最近两次（新增/消除/持续）。注意：需 2+ 次 snapshot 才能 diff，不做根因分析。

   • specmate_guide

     分阶段指导。pre_code=编码前硬约束+AST扫描，on_error=按错误码查修复方案，pattern=代码骨架。注意：decide 已关闭。on_error 仅匹配标准错误码 [GPTBS]\d{4}，BSC 内部错误无法诊断。

   • specmate_report

     跨 session 高级分析报告：错误趋势、文件热点、知识库健康度。集成 specmate_scan/specmate_diagnose 的统计数据，提供宏观视角。

   • specmate_check

     接收 .bsv 文件路径+可选 compile 编译。返回静态检查+可选编译诊断结果。compile=true 时先跑 static check，再 spawn bsc 编译，编译输出自动喂给 diagnose 诊断。BSC 不可用时仅返回静态检查结果。

   • specmate_capture

     接收 BSC 编译输出，提取标准错误码 [GPTBS]\d{4} 记录到知识库。注意：仅做记录，不提供修复方案。查修复请用 specmate_diagnose 或 specmate_guide(on_error)。

   • specmate_scan

     【推荐入口】接收任务描述 + 可选 .bsv 文件路径。返回编译硬约束 + AST 预编译扫描（需传 file）+ 下一步建议。注意：不做主动设计指导，不接收 BSC 编译输出。

   • specmate_resolve

     修复编译错误后调用，记录根因和方案并关联最近的 capture。注意：仅做经验固化，不提供修复建议。需先有 capture 记录。

2. 2specverified and signedpassport

   skillcodewithmukesh/dotnet-claude-kitrecord

   • spec

     Turn a vague feature or product idea into an agreed, persisted specification through relentless structured questioning. Never assumes — every gap, ambiguity, or "probably" becomes a question to the developer, and the spec cannot be approved while open questions remain. Produces docs/specs/<NNN>-<slu