AI 编程与 IDE 精选AI Agent技能库
AI 编程与 IDE分类下的高质量技能
Trinity Compress
一个本地脚本，用于压缩提示词文件，以最小化迭代 AI 开发周期中的 Token 成本。
ArXiv Agentic Verifier
一款先进的代码验证工具，利用智能体推理，通过针对性的测试生成来识别逻辑缺陷和边缘情况。
算法求解器
一个系统的算法教练，通过深层逻辑分解将问题描述转化为优化的、生产就绪的代码。
Spring Boot 工程师
一个专门设计的 AI 智能体技能，用于架构和实现生产级的 Spring Boot 3.x 微服务和响应式 Java 应用程序。
Codex Claw
Codex Claw 使 Codex Desktop 能够加载并利用 OpenClaw 工作区上下文文件（如 AGENTS.md 和 SOUL.md），以增强智能体人格和会话记忆。
Claude Delegate
一个用于将复杂的开发任务委派给 Claude Code CLI 以进行非交互式、自动化执行的桥梁。
Antigravity IDE 集成
Google 推出的一款革命性的 Agent-First 开发环境，旨在将 AI Agent 置于软件创作生命周期的核心。
TRAE IDE & Workflow Architect
一个专门的框架，通过自定义 Skills 和自动化工作流将 TRAE IDE 转换为模块化、Agent 化的开发环境。
使用 OpenZeppelin 开发安全的智能合约
一项专为 AI 代理设计的技能，用于将经过审计的 OpenZeppelin 安全模式和代币标准集成到区块链项目中。
编程助手
一个复杂的集成，利用 Claude CLI 在您的开发环境中实现项目创建、代码修改、调试和重构的自动化。
Seam Type Selector
通过 Seam Type Selector 识别最佳 seam 类型，打破遗留代码依赖并实现可靠的测试。
Karpathy Principles
一套基于 Andrej Karpathy 原则的全面 AI 编程规则，旨在强制执行逻辑、简约和测试驱动开发。
Lean 4 Theorem Proving
一种用于使用 Lean 4 和 mathlib 进行形式化数学验证和定理证明的复杂 AI 技能。
speak4bangboo
一个面向 AI 编码智能体的《绝区零》邦布人格，在技术回复前添加装饰性的拟声前缀。
设计模式选择器
一款供 AI agent 使用的智能诊断工具，旨在识别并应用最佳的 Gang of Four 设计模式以应对复杂的软件架构挑战。
多模式系统设计器
一种通过将多个 Gang of Four 设计模式协调为连贯、可扩展结构来设计复杂系统的架构框架。
AI 代码审查助手
一个智能 AI 驱动的助手，可为现代开发工作流程实现代码质量、安全漏洞和性能分析的自动化。
Opencode
一个全面的 AI 工作流引擎，专为自动代码生成、结构化项目分析和流线型环境管理而设计。
Claude Code Analyzer
一款专用的 Python 分析工具，旨在剖析和修改病毒式 AI 编码项目的高性能架构。
AI 代理的 MBTI 人格
一个为 AI 编码代理提供的动态人格层，基于 MBTI 类型和精选预设来调整沟通、解决问题和工作节奏。