michael-denyer

为代码决策做可引用的溯源调查：并行检索提交、PR、工单、文档、聊天与监控等多源证据。

按时间范围汇总当前 Git 用户提交，生成简洁工作状态更新。

按规则删除文本中的 AI 写作痕迹并重写，保留原意与语气。

提供 TypeScript 类型设计与代码质量最佳实践规则。

并行运行两个热核审查子代理，分别查缺陷安全与代码质量，再汇总去重

对分支变更进行安全与正确性深度审计并输出问题报告。

极严格的代码可维护性与结构质量审查，输出分层报告。

技术文档分层写作规范，覆盖结构、句子、指令与歧义控制。

以对话方式讲清代码或子系统，并融合 how 与 why 的发现。

指导修复缺陷时先写失败测试，再修复并复跑验证。

并行分发多个子代理，按切片覆盖或竞速收集结果，汇总成一份报告。

维护可审查的 TSV 决策日志，并做会话审计与跨模型复核。

任务开始前澄清专家做法、用户真实目标与规格程度，再执行任务。

配置 pstack 角色模型覆盖表并接入当前运行时。

并行审查当前会话，提炼可复用经验并路由到技能修改。

静态类型设计原则：品牌化原始类型、边界解析、穷尽变体。

提供编写与评审测试的原则，强调断言可观察行为而非实现细节。

在新增、重构或重写前先做减法：删除死代码、冗余校验与空引用，再在更简基础上构建。

将多步工作拆成可验证小单元并依次推进的工程原则。

阐述并发共享可变状态应先隔离、必要时再结构化串行化。

集成新需求时按第一性原理重构设计，避免补丁式堆叠。

完成前直接核验真实工件，避免把代理指标或自述当作成功证据。

面向目标终态的迁移执行原则，允许计划内的中间破坏。

指导 Agent 在可逆工作上自主推进、避免阻塞等待确认。

在编写有状态逻辑或分支复杂代码时，用领域模型替代条件分支与分散状态。

提供以读者负担为核心的代码可维护性审查原则，指导减少追踪层级与可变状态。

迁移旧 API 调用方并在同一波次删除旧 API 的重构原则

提供幂等操作的设计原则与重复执行检查清单。

重构与代码评审原则：最小改动、删除优先、集中决策。

在上下文将满时限制范围，把批量内容交给子代理，主线程只保留摘要。

用于写代码前梳理核心数据结构、脚手架顺序与并发共享的工程原则。

调试时追溯症状至首个错误点并修复根因，避免用防护措施掩盖缺陷。

在采信或报告性能与评估数值前，解释其限制因素并排除测量偏差。

产品与体验取舍的原则指导，优先用户体验而非实现便利。

指导在无先例的 UI 交互或架构决策中构建多个竞争原型并比较后决策。

将重复经验编码为检查规则或脚本，减少重复文字说明。

指导性原则：对非琐碎工作先构建可复跑的脚本或代码工具，而非手工完成。

提供系统边界验证、错误处理与纯函数业务逻辑的编码原则指导。

多项修复因同一前提失败时，先写下并验证该前提，再继续修复。

面向 Claude Code/Codex 的软件开发工作流编排 Skill

解答 pstack 使用与技能选择问题，提供示例提示词和来源文件位置。

移除无效注释、审计抑制并修复代码审查问题。

整理 PR 提交历史与描述、添加评审指引，提升可评审性且不改变代码行为

审计并维护项目验证 Skill 与功能映射，实机逐项验证后最多提交一个修正 PR

在聊天中简要回顾用户上次发言后的变化，列出待办并辅以小型可视化。

用自身语言重述用户目标与待解决问题

用多个不同模型的子代理从不同角度对抗式评审代码改动，汇总为主评审结论，不自动改代码。

面向代码库的架构讲解技能，按复杂度调度探索与解释子代理。

获取并汇总当前分支活动 PR 的评审与讨论评论，输出分级行动清单。

非交互解决 Git 合并冲突，最小改动并通过编译、lint 与测试验证

定位失败的 PR CI 检查并迭代修复至全部通过

设计可审计的工程工作流，分阶段执行、验证并记录决策。

检查分支相对 main 的 diff，清理 AI 生成代码冗余并统一代码风格

访谈仓库并生成项目级验证技能：启动、驱动、取证、清理与特性地图，交付前自测一次

将代理反复犯的仓库错误转化为架构、类型、检查、测试和规则防线。

将上一条消息用平实、少术语的语言简洁复述。

分析代码改动的爆炸半径，并用真实运行代码验证其安全所依赖的关键事实

审查性能基准与加速结论，核对瓶颈、误差、可重复性和实际收益。

监视已打开 PR，修复 CI、处理评审意见并推进可合并。

引导挖掘工作记录与偏好，起草或更新个人 -mode 技能并提交 PR。

多候选并行生成、交叉评审、择优嫁接的多智能体产物合成工作流

在编码前勾画类型、签名与模块结构，并通过多模型评审后按草图实现。