integrity - 软件和数据完整性安全分析安全OWASP完整性CI/CD★ 10 · 更新于 2026-06-15分析源代码和CI/CD配置中的完整性违规和安全漏洞⚙ 分析源代码⚙ 扫描CI/CD配置⚙ 检测不安全的反序列化
project-conventions - 发现和应用项目规范代码规范代码风格项目结构代码审查★ 18 · 更新于 2026-03-23指导发现和应用项目特定规范,包括代码模式、命名、结构和团队实践⚙ 读取配置文件⚙ 检查文档⚙ 分析源代码
model-guided-code-repair - 使用模型检测反例修复代码代码修复模型检测形式化验证时序属性★ 64 · 更新于 2026-03-22使用模型检测反例自动修复时序属性违规⚙ 分析源代码⚙ 读取时序属性⚙ 处理反例