共 423856 条已上架资产
在编写、重构或维护 Lean / Mathlib 证明时使用，尤其是在大型形式化项目中，以确保健全性既能通过机械检查，又能经受对每条语句的仔细审阅，并以已解除的义务而非表面进展作为衡量标准
审查现有 marimo 笔记本的反应式设计质量，识别与 marimo 依赖模型相悖的反模式，并提出具体的重构计划，除非被要求，否则不重写笔记本
在重构 SwiftUI 或 iOS 代码时，用于改进 MVVM 边界、可读性、可测试性、状态流或异步正确性，而不改变预期行为
使用领域驱动设计（DDD）原则识别领域模块、所有权边界、依赖关系和接口
当用户要求进行对抗性挑战、对反对观点进行“钢铁人”式重构（即最强版本的反驳），或识别任何主张、论点或立场的最强反方论据时，必须使用此模式
应用 Momo 严格的编码架构（高度模块化、有文档记录）和 UI 设计规则（机构极简主义）
当新功能、设计决策、重构或代码变更涉及多个文件、模块、边界或操作行为层面的架构影响时，应使用此技能
当用户需要一个以计划为先的多智能体编码工作流，包含并行子智能体、显式评审以及在完成前进行完整验证时，尤其是在处理非平凡实现、重构、审计或警告清理等任务时，使用此模式
当用户要求在标准化使用 Svelte 5 runes 的代码库中实现、审查、重构或迁移第一方 Svelte 或 SvelteKit 组件，或明确要求进行 rune 迁移时，请使用此技能
仅在用户明确要求使用独立的 Codex CLI 工作进程来实现代码、重构或并行运行长时间开发任务时使用
用于日常开发工作的基本技能
用于编码、调试、重构或代码审查任务，要求 Codex 避免错误的假设、过度设计、无关的修改以及无法验证的更改
当编码任务需要在修改代码之前进行多次编辑、涉及多个文件、做出多个决策或执行多个验证步骤时，使用此模式
在编写或修改功能、修复 bug、重构代码、编写测试、执行迁移或进行集成变更时使用，尤其是当这些变更依赖于可能最近发生变化的外部库、框架、命令行工具（CLI）、API、代码仓库或文档时
在编写、重构或审查 SQL 时，应遵循一致的、与业务无关的风格，采用分层结构，减少重复，并明确说明任何规则偏离的理由
重构并分析规则引擎在表格数据上的通过/拒绝性能
用于诊断 Kubernetes 集群状态问题：控制平面不可用、控制平面响应缓慢、协调停滞、节点故障或准入控制器阻塞
在 Ubuntu 24
当用户希望此机器上的 Codex 通过 SSH 连接、检查或操作对等 EC2 服务器时使用
按账户和日期范围搜索交易，并读取或添加交易备注