AI 编码 Agent 插件与技能编排清单
整理以 pstack 为核心的编码 Agent 插件与技能组合，覆盖设计、验证与评审。
来源摘录
最近のスタメン plugin・Skill - pstack - Cursor Team Kit - Thermos - /grill-with-docs - 検証レイヤー e2e /create-verification-skil・react-doctor・fallow 基本はpstackで、細かい仕様決め・用語決めが必要な設計は /grill-with-docsを先にやってからpstack 検証はe2eの /create-verification-skill と pstackの /create-formal-verification-skill で E2E と形式検証をして品質を担保 その後のレビューは Thermos でコード品質とバグ・セキュリティ・仕様の漏れをチェック CIでreact-doctor・fallowなど追加の検証を実施する
深度解析
是什么 这是一份个人常用插件与 Agent Skills 清单，核心是 pstack，并列出 Cursor Team Kit、Thermos、/grill-with-docs 以及 e2e、形式验证相关 Skill 与 react-doctor、fallow。
工作流设计 作者把流程拆成四层：默认用 pstack 推进；遇到需要细化规格和术语的设计，先执行 /grill-with-docs；验证层用 e2e 的 /create-verification-skill 与 pstack 的 /create-formal-verification-skill，分别覆盖 E2E 和形式验证；之后用 Thermos 检查代码质量、Bug、安全与规格遗漏；最后在 CI 中追加 react-doctor、fallow 等验证。
关键洞察 价值不在单个工具，而在把“设计澄清—实现—验证—评审—CI 门禁”串成可操作流水线。先定规格再写代码，再用多层验证降低返工，适合追求质量门的 Agent 协作场景。
边界与风险 推文只给了清单与顺序，没有安装方式、Skill 具体内容、误报率、维护成本或团队适用规模；实际效果仍需自行验证。它也明确属于软件工程工作流，而非视觉或交互设计方法。