本技能专注于提供软件开发的原则、指南和安全相关指导，特别强调差分编辑和VibeCoder应用，帮助开发者遵循最佳实践、提升代码质量与安全性。关键词：开发原则、指南、安全、差分编辑、VibeCoder、软件开发、代码质量、最佳实践。

综合规范语言是一种用于定义程序综合任务的技术规范工具。它支持通过输入输出示例、逻辑约束（前置/后置条件）和程序草图等多种范式来精确描述期望的程序行为。该工具能够将自然语言需求转化为可执行的规范，并进行规范验证与歧义检测，确保规范的正确性和完整性。它集成了SyGuS、Sketch、Rosette等主流程序综合引擎，是连接高层次需求与自动化代码生成的关键桥梁。 关键词：程序综合，规范语言，SyGuS，Sketch，Rosette，FlashFill，代码生成，形式化方法，软件工程，自动化编程

待办事项管理器是一个用于软件项目架构演进中管理跨PR待办事项的技能，专注于记录、评估和跟踪技术任务，提高团队协作效率和风险控制能力。关键词：软件架构、待办事项管理、项目管理、技术债务、团队协作、风险控制。

减少代码熵技能专注于通过手动删除和重构来最小化代码库大小，以提高代码质量和可维护性。该技能强调最终状态而非过程，偏向删除冗余代码以减少熵，适用于代码优化、重构和减少技术债务。关键词：代码优化、删除冗余、减少熵、代码库管理、重构技能。

API设计审查员技能专注于REST API设计的综合分析和审查，包括自动化linting、破坏性变更检测和设计评分卡，以确保API的一致性、文档完整性和安全性。

该技能用于分析Elixir/Phoenix项目中的技术债务，自动化检测重复代码模式、反模式，并提供重构建议，适用于代码审计和质量提升。关键词：技术债务，代码分析，重复代码检测，重构，Elixir，Phoenix，代码审计。

迭代式代码演进是一种结构化、系统化的代码改进方法论。它通过分析、计划、变异、验证、评分、归档六个阶段构成的循环，帮助开发者或AI智能体持续优化代码质量、性能、正确性和设计。该方法强调基于观察的变更、小步快跑、完整记录和从失败中学习，适用于代码重构、性能调优、顽固Bug调试、系统设计演进以及AI智能体、提示词工程等领域的迭代优化。关键词：代码迭代，结构化改进，代码演进，ALMA框架，元学习，代码优化，调试方法论，智能体开发，提示词工程。

这个技能专注于制定和实施干净、实用的AI编码标准，旨在提高代码质量、可维护性和开发效率。关键词包括：干净代码、AI开发、编码规范、代码标准、可维护性、软件架构、编码风格、开发实践、代码优化、代码审计。

本技能用于实现和操作 lambda 演算解释器，支持无类型和简单类型变体，涵盖 β-归约、闭包、评估策略（如按值调用和按名调用）等核心概念。适用于学习功能性编程基础、构建语言解释器、研究编程语言理论。关键词：lambda 演算、解释器、功能性编程、闭包、β-归约、评估策略。

技能编排器是任务管理系统中的核心组件，用于基于任务语言和状态将命令智能路由到相应的工作流。它负责任务查找、状态验证、上下文准备和执行协调，确保多步骤工作流的高效运行。关键词：任务编排、工作流路由、状态管理、上下文加载、智能路由。

这个技能提供了一套全面的编程规则和最佳实践，旨在通过简化代码复杂性、强制执行严格的编码标准、采用测试驱动开发（TDD）工作流程和原子待办事项跟踪，来提高软件开发的质量和效率。关键词包括：代码简化、TDD工作流程、原子待办事项、架构模式、错误处理、测试哲学、安全要求、质量门、会话管理。

这个技能是一个软件开发项目指南模板，提供完整的项目结构和最佳实践指导，帮助团队快速启动和实施开发工作。它涵盖了架构设计、文件组织、代码规范、测试策略和部署流程，特别适合全栈开发项目，并结合AI集成如Claude API。关键词：软件开发、项目指南、架构设计、代码规范、测试部署、全栈开发、AI集成、最佳实践。