来源数据中没有开发者网站。
2 个收录作品
代码图引擎 + MCP 协议工具链，让 AI 验证代码是否符合声明，支持 C/C++、Rust、Python、Go、JS/TS、Java 等 8 种语言，提供 40+ MCP 工具，可接入 Claude Desktop / Cursor
基于 LLVM IR 的 Rust 实现跨语言 FFI 静态分析工具，能自动检测 Rust/C/Go/Python/Java 等语言边界上的内存所有权错误、资源泄漏、double-free 等安全问题。可**有效辅助**开发者定位FFI潜在bug。
