带有标签“代码验证”的 Skills

doc-sweep - 文档准确性审计工具
文档审计代码验证文档合规
★ 0 · 更新于 2026-05-09
审核文档准确性，检查命令参考、站点内容和开发文档与代码库的一致性
⚙ 读取文档文件 ⚙ 读取代码库文件 ⚙ 提取命令定义
multi-agent-verify - 多代理并行代码验证
多代理并行执行代码审查测试
★ 7 · 更新于 2026-05-09
启动3个独立代理并行审查、测试和修复代码
⚙ 启动代理 ⚙ 创建git工作树 ⚙ 启动OpenCode CLI
cc-work - 使用工作区隔离执行任务
任务执行工作区隔离代码验证代码审查
★ 0 · 更新于 2026-03-26
使用工作区隔离、验证和审查进行端到端任务执行
⚙ 选择任务 ⚙ 生成工作进程 ⚙ 验证输出
kani-verifier - 使用 Kani 进行 Rust 形式化验证
形式化验证模型检查 Rust 内存安全
★ 0 · 更新于 2026-03-20
通过穷尽符号执行证明 Rust 代码属性的模型检查器
⚙ 验证 Rust 代码 ⚙ 检查内存安全性 ⚙ 检测未定义行为
repo-website-api-review - API 文档路由审查
文档管理 API 审查代码验证质量保证
★ 18 · 更新于 2026-03-10
审查并验证 API 文档路由与源代码的准确性和一致性
⚙ 读取源文件 ⚙ 比较函数签名 ⚙ 验证类型定义
auditor - 独立代码审计三角验证工具
代码审计代码验证变更日志审查安全审计
★ 17 · 更新于 2026-03-10
在无先验上下文情况下，基于三角验证方法独立验证代码与变更日志
⚙ 读取变更日志 ⚙ 读取源代码 ⚙ 验证一致性
review-prd - 审查产品需求文档实施情况
产品需求文档审查代码验证测试验收标准
★ 2 · 更新于 2026-03-09
验证Ralph产品需求文档中的用户故事是否正确实现
⚙ 读取prd.json文件 ⚙ 检查验收标准 ⚙ 运行类型检查命令
gemini-cli - Gemini CLI大代码库分析工具
代码分析大上下文 CLI工具代码验证
★ 0 · 更新于 2026-02-13
在上下文限制超出时使用Gemini CLI分析大代码库
⚙ 分析整个代码库 ⚙ 比较多个大文件 ⚙ 理解项目范围模式