SonMCP 是一个高性能的模型上下文协议(MCP)服务器,提供多语言静态分析引擎,专为 AI 代理设计,支持深度代码审计和结构化反馈。
工具数量
1
GitHub Stars
4
SonMCP 是一个高性能的模型上下文协议(MCP)服务器,提供多语言静态分析引擎,专为 AI 代理设计,支持深度代码审计和结构化反馈。
工具数量
1
GitHub Stars
4
提供对广泛使用的AI SDK、代理框架和MCP服务器进行公共安全审计的工具,通过静态分析生成审计结果,支持独立验证。
工具数量
0
GitHub Stars
3
langtools-mcp是一个模型上下文协议(MCP)服务器和客户端工具包,为LLMs和AI代理提供统一的静态分析工具访问,包括批量CLI检查器和LSPs。
工具数量
0
GitHub Stars
3
Binja-NO-MCP是一个用于将Binary Ninja的BinaryView导出为稳定磁盘树结构以支持AI IDE工作流的工具,适用于二进制代码分析和逆向工程场景。
工具数量
0
GitHub Stars
2
一个提供JetBrains IDE代码检查功能的MCP服务器,支持自动IDE选择和跨文件类型的统一检查配置文件。
工具数量
0
GitHub Stars
2
CallGraph MCP Server 是一款本地运行的确定性调用图分析工具,支持多种编程语言,为AI代理提供精确的代码结构映射,避免幻觉和猜测。
工具数量
9
GitHub Stars
1
clj-kondo-mcp是一个基于Babashka的独立MCP服务器,为Clojure代码提供静态分析功能,包括代码检查、调用图遍历、变量查找、命名空间依赖图生成和死代码检测。
工具数量
7
GitHub Stars
1
一个静态分析CLI工具,用于生成代码库的关系图(类、函数、导入、调用图、类型依赖等),并通过MCP协议暴露给AI编码助手,使其无需每次会话重新扫描项目。
工具数量
6
GitHub Stars
1
一个全面的模型上下文协议(MCP)服务器,用于安全漏洞扫描、分析和研究,支持与Claude等MCP兼容的AI助手集成。
工具数量
0
GitHub Stars
1
提供基于radare2和Rizin的二进制静态分析、反汇编、反编译、ESIL模拟、实时调试、漏洞扫描和漏洞开发功能。
工具数量
37
GitHub Stars
1
一个利用qwen/qwen3-coder-30b语言模型进行源代码自动化安全分析的MCP服务,支持多种编程语言并提供IDE集成和命令行工具。
工具数量
3
GitHub Stars
0
AST-SAST MCP Server是一款通过TypeScript编译器(AST)进行静态代码分析的服务器,用于检测AI生成代码中的安全漏洞和质量问题,适用于开发环境中的代码审查。
工具数量
1
GitHub Stars
0
为Rust开发提供代码检查、测试、构建和文档生成等全面质量分析的工具套件。
工具数量
15
GitHub Stars
0
一个独立的MCP服务器,用于从本地缓存中检查Canvas HTML内容,支持JSON-RPC方法进行项目列表、内容分析和课程检查。
工具数量
3
GitHub Stars
0
一个提供AI助手强大代码分析能力的模型上下文协议(MCP)服务器,适用于静态代码分析、AST操作和API设计等高级软件工程概念。
工具数量
2
GitHub Stars
0
高性能代码语义分析服务器,提供基于tree-sitter解析的符号提取、签名获取、定义查询和文件结构分析功能,适用于代码探索和审查场景。
工具数量
4
GitHub Stars
0
一个用于执行测试、静态分析、代码格式化、Git操作等命令的Model Context Protocol (MCP)服务器工具。
工具数量
0
GitHub Stars
0
一个连接AI代理与Black Duck Coverity Connect的TypeScript服务器,用于静态分析缺陷管理,使AI编码助手能够直接访问Coverity项目、流和缺陷数据。
工具数量
4
GitHub Stars
0
一个提供C#和.NET官方文档访问及基于Roslyn的代码分析服务的MCP服务器,用于执行专业的代码审查。
工具数量
6
GitHub Stars
0
一个为.NET解决方案提供实时静态分析的MCP服务器,集成代码分析、编译错误检测和项目洞察功能,适用于开发环境中的代码审查和重构支持。
工具数量
17
GitHub Stars
0