Council of Logic 是一个决策评审技能,用于处理存在非显然权衡的技术决策:架构选择、根因不明的调试、性能策略、安全实现等。它通过要求对抗式多视角分析,覆盖 LLM 的默认倾向,包括首答偏差、确认锚定、单一视角推理、过早收敛和复杂性盲区。
主要能力:围绕同一决策引入四位“顾问”。图灵关注形式正确性:算法是否可证正确、边界条件、整数溢出、空值与静默失败。香农关注信息与信号:数据可靠性、延迟、测量对象、噪声下的失败方式、信息丢失与竞态。冯·诺依曼关注系统思维:二阶效应、对未修改部分的影响、负载与并发、瓶颈、硬依赖与用户侧失败模式。哥德尔关注完备性与边界:该方法的固有盲区、自指问题、依赖假设、被复杂掩盖的更简方案。
使用方式:按固定格式输出 Council Review:决策标题,然后依次给出 TURING、SHANNON、VON NEUMANN、GÖDEL 四段结论,最后写 SYNTHESIS 综合建议;顾问冲突时需明确写出权衡。高风险决策(难以回退的架构、安全敏感实现、性能关键路径、复杂缺陷、竞争约束的功能设计、重构范围)使用全部四位顾问;中等复杂度实现、常规 CRUD、成因存疑的调试可用图灵+冯·诺依曼的简版;机械无歧义任务、完全规格化的实现、文案与文档更新无需使用。
限制与补充:最终确定非平凡方案前需生成一条真实的反对意见,写明最强反对理由、其重要性以及仍继续推进的反驳理由;若无法生成真实异议,说明方案可能平凡正确或思考不足。复杂调试建议按图灵(代码实际行为)、香农(实际输入数据)、冯·诺依曼(调用路径)、哥德尔(可能不成立的假设)顺序应用。资料未提供具体安装命令、依赖平台或收费标准。