aderyn: Aderyn is an open-source static analyzer for Solidity smart contracts. It helps find vulnerabilities in Solidity codebases with no configuration needed for Foundry and Hardhat projects. It generates Markdown, JSON, and Sarif reports and powers a VSCode extension.; semble: Semble is a high-performance code search library designed for AI agents, providing instant access to precise code snippets. It offers significantly faster indexing and querying compared to transformer models, achieving 99% of their retrieval quality while running entirely on CPU without external dependencies.
Auditing Solidity smart contracts for security vulnerabilities.
Enhancing AI agents (e.g., Claude Code, Cursor, Codex) with fast and accurate code search capabilities