标签「static-analysis」的 Agents

共 11 个结果
static-analysis ×
开发与工程

Argot 仓库风格审查器

从 Git 历史学习隐性规范,发现新代码与仓库惯例的偏离。

★ 48 FS 93 表现优秀 14 天前 MIT
开发与工程

Jev Review

为编码智能体提供持续、结构化的软件质量评分。

★ 177 FS 81 表现良好 6 天前 MIT
开发与工程

Gortex 代码智能引擎

用本地代码图为编程助手提供精准上下文与跨仓库影响分析。

★ 1.6k FS 78 表现良好 7 天前 Apache-2.0
开发与工程

Aura 代码变更审计

按提交和代码符号记录智能体改了什么、为何修改,并阻止偏离意图的提交。

★ 47 FS 70 存在缺口 5 天前 Apache-2.0
开发与工程

MATLAB MCP Server

让支持 MCP 的 AI 应用启动 MATLAB、执行代码并检查脚本质量。

★ 1.5k FS 69 存在缺口 12 天前 NOASSERTION
自动化与运维 ✓ Google · 官方

Mantis 安全审查技能套件

为代码智能体提供可组合的安全审查、复现与修复流程。

★ 1.7k FS 62 存在缺口 5 天前 Apache-2.0
自动化与运维

Semia — AI Agent 技能安全审计工具

在不执行技能的前提下,扫描并审计 AI Agent 技能文件中的命令、网络调用和敏感读取,让你在信任它之前看清它究竟能做什么。

★ 609 FS 59 缺口较多 22 天前 Apache-2.0
开发与工程

AgentSys

把任务发现、开发、审查、CI 与合并串成可恢复的软件交付流程。

★ 988 FS 52 缺口较多 今天 MIT
自动化与运维

LitterBox 载荷分析沙箱

在部署前用静态、动态与 EDR 分析检验载荷的可检测性。

★ 1.5k FS 52 缺口较多 4 个月前 GPL-3.0
自动化与运维

Agentic Radar

为智能体工作流生成安全分析、漏洞映射与运行时测试结果的命令行扫描器。

★ 1.1k FS 46 缺口较多 10 个月前 Apache-2.0
自动化与运维

Repo Forensics:AI Agent 仓库离线安全审计器

面向 AI Agent 技能、插件与 MCP 服务器的本地安全扫描器,安装前给出可直接阻断 CI/CD 的判定。

★ 177 FS 44 缺口较多 今天 NOASSERTION