static-analysis Tools

Rea is a platform that uses AI agents to reverse engineer software, from high-level application behavior down to low-level native binaries. It solves the problem of understanding complex, undocumented, or legacy systems by automating the analysis process. This tool is designed for security researchers, software engineers, and developers who need to comprehend, audit, or modernize existing codebases.

Checkstyle is a static analysis tool that automatically checks Java code for adherence to a defined set of coding standards. It solves the problem of inconsistent code style and manual code reviews by providing automated, configurable checks for naming conventions, imports, formatting, Javadoc, and more. It is designed for development teams and individual programmers who want to maintain code quality and enforce a consistent style across their Java projects.

Code Review Graph is a local-first code intelligence graph for MCP and CLI. It builds a persistent, semantic map of your codebase, enabling AI coding assistants to understand context and dependencies without reading every file. This dramatically reduces context overhead in code reviews and large-repository workflows, making AI tools faster and more accurate. It's built for developers and teams working in complex codebases who want to leverage AI assistance without the performance and cost penalties of massive context windows.