AI 编程与 IDE 精选AI Agent技能库

AI 编程与 IDE分类下的高质量技能

Mini-Agent

由 MiniMax M2.5 模型驱动的智能 AI 编程助手,可实现无缝文件操作、命令执行和自动化代码开发。

由 l1-m1ng 创建
0 1,077
AI 代理协议 AI 编程与 IDE

OpenClaw 编程助手

OpenClaw 专用的编程子智能体,负责后台执行、测试驱动的漏洞修复和自动化的项目脚手架搭建。

由 milleniumgenai 创建
1 1,544
AI 代理协议 AI 编程与 IDE

文件超能力

一种统一的 AI 工作流技能,结合了持久化记忆日志与高速测试驱动开发,确保代理永不丢失上下文。

由 mok888 创建
0 673
生产力与任务管理 AI 编程与 IDE

进化智能体

一个全面的 AI 编程编排器,管理从代码生成到自动知识归纳的完整任务生命周期。

由 richenlin 创建
0 0
AI 代理协议 AI 编程与 IDE

编程助手 (Coding Agent)

一个用于生成、调试和构建稳健软件解决方案的高级 AI 助手。

由 balasai77 创建
0 780
前端 Web 开发 AI 编程与 IDE

Trinity Compress

一个本地脚本,用于压缩提示词文件,以最小化迭代 AI 开发周期中的 Token 成本。

由 trinitybotserver 创建
0 0
命令行 (CLI) 工具 AI 编程与 IDE

ArXiv Agentic Verifier

一款先进的代码验证工具,利用智能体推理,通过针对性的测试生成来识别逻辑缺陷和边缘情况。

由 wanng-ide 创建
0 1,561
AI 代理协议 AI 编程与 IDE

算法求解器

一个系统的算法教练,通过深层逻辑分解将问题描述转化为优化的、生产就绪的代码。

由 wd1993 创建
0 2,432
AI 代理协议 AI 编程与 IDE

Spring Boot 工程师

一个专门设计的 AI 智能体技能,用于架构和实现生产级的 Spring Boot 3.x 微服务和响应式 Java 应用程序。

由 veeramanikandanr48 创建
4 2,780
DevOps 与云计算 AI 编程与 IDE

Codex Claw

Codex Claw 使 Codex Desktop 能够加载并利用 OpenClaw 工作区上下文文件(如 AGENTS.md 和 SOUL.md),以增强智能体人格和会话记忆。

由 100yenadmin 创建
0 558
AI 代理协议 AI 编程与 IDE

Claude Delegate

一个用于将复杂的开发任务委派给 Claude Code CLI 以进行非交互式、自动化执行的桥梁。

由 numbpill3d 创建
0 1,035
命令行 (CLI) 工具 AI 编程与 IDE

Antigravity IDE 集成

Google 推出的一款革命性的 Agent-First 开发环境,旨在将 AI Agent 置于软件创作生命周期的核心。

由 duanc-chao 创建
1 1,319
AI 代理协议 AI 编程与 IDE

TRAE IDE & Workflow Architect

一个专门的框架,通过自定义 Skills 和自动化工作流将 TRAE IDE 转换为模块化、Agent 化的开发环境。

由 duanc-chao 创建
0 986
AI 代理协议 AI 编程与 IDE

使用 OpenZeppelin 开发安全的智能合约

一项专为 AI 代理设计的技能,用于将经过审计的 OpenZeppelin 安全模式和代币标准集成到区块链项目中。

由 samledger67-dotcom 创建
0 792
AI 代理协议 AI 编程与 IDE

编程助手

一个复杂的集成,利用 Claude CLI 在您的开发环境中实现项目创建、代码修改、调试和重构的自动化。

由 leowing 创建
0 1,979
命令行 (CLI) 工具 AI 编程与 IDE

Seam Type Selector

通过 Seam Type Selector 识别最佳 seam 类型,打破遗留代码依赖并实现可靠的测试。

由 quochungto 创建
0 280
AI 代理协议 AI 编程与 IDE

Karpathy Principles

一套基于 Andrej Karpathy 原则的全面 AI 编程规则,旨在强制执行逻辑、简约和测试驱动开发。

由 534422530 创建
1 1,231
AI 代理协议 AI 编程与 IDE

Lean 4 Theorem Proving

一种用于使用 Lean 4 和 mathlib 进行形式化数学验证和定理证明的复杂 AI 技能。

由 wu-uk 创建
0 555
AI 代理协议 AI 编程与 IDE

speak4bangboo

一个面向 AI 编码智能体的《绝区零》邦布人格,在技术回复前添加装饰性的拟声前缀。

由 songkey 创建
0 647
AI 代理协议 AI 编程与 IDE

设计模式选择器

一款供 AI agent 使用的智能诊断工具,旨在识别并应用最佳的 Gang of Four 设计模式以应对复杂的软件架构挑战。

由 quochungto 创建
0 378
AI 代理协议 AI 编程与 IDE