用途：该技能让 Claude 在不运行代码的情况下，借助 CodeCircuit 论文的归因图推理框架，评估 ChatGPT、Copilot 等模型生成代码的正确性，尤其擅长发现“结构近似错误”——表面几乎正确但控制流、边界条件或状态转移存在细微逻辑缺陷的代码。
主要能力：把代码解析为行级依赖图（节点为代码行或子表达式，有向边表示数据/控制流依赖并按影响度加权），识别关键路径，计算图密度、介数中心性、聚类系数、连通分量等拓扑特征，据此发现缺失逻辑、捷径错误与状态传播断裂。资料称该结构特征在 Python 上预测正确率达 79.9% AUROC，10-30 行函数提升至 80-92%，且跨 Python、C++、Java 通用。
使用方式：用户请求审查 LLM 生成代码、调试通过部分测试但边界失败的函数、验证经典算法实现或跨语言翻译代码、寻找错误根因时触发。工作流包括构建依赖图、标注边权重、追踪关键路径、计算拓扑诊断、检查已知失败签名（二分查找边界不对称、递归缺少可达基准情形、循环缺少回边）、对可疑行做因果干预并给出修复与结构证据。
适用场景：算法代码（约 10-30 行）的静态正确性审查，如二分查找、排序、图遍历、动态规划、双指针与语言间翻译。限制：对胶水代码、配置和 I/O 密集代码效果有限；因无法访问生成模型内部激活，实际用静态数据流分析近似归因图，无法捕捉模型特有偏见引发的错误；不擅长性能类缺陷、并发缺陷；少于 5 行的函数退回直接逻辑推理；多返回点需分别分析。资料另提及论文 He et al., 2026 与代码库 github.com/bruno686/CodeCircuit。