aderyn:Aderyn是一款开源的Solidity智能合约静态分析器。它无需配置即可分析Foundry和Hardhat项目,帮助发现代码中的漏洞。支持生成Markdown、JSON和Sarif报告,并为官方VSCode扩展提供支持。;semble:Semble 是一个专为 AI 智能体设计的高性能代码搜索库,能够即时提供精确的代码片段。与基于 Transformer 的模型相比,它在索引和查询速度上显著更快,同时能达到 99% 的检索质量,并且完全在 CPU 上运行,无需外部依赖。
审计Solidity智能合约中的安全漏洞。
通过快速准确的代码搜索能力增强 AI 智能体(如 Claude Code, Cursor, Codex)