Code graph and memory for your coding agents, in one Rust program. For Claude Code, Codex, Cursor and any MCP client.
A static analyzer for Java, C, C++, and Objective-C
Turn any codebase, with its docs, SQL schemas, configs, and PDFs, into a queryable knowledge graph. A /graphify skill for Claude Code, Cursor, Codex, and Gemini CLI: local deterministic AST parsing, every edge explained, no vector store.
An extremely fast Python linter and code formatter, written in Rust.
Local code intelligence for developers and AI agents. Connect code, docs and infrastructure in a persistent graph, with CBM Lens, MCP tools, agent integrations and change-aware test selection.
Find and fix problems in your JavaScript code.
A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.
A code-completion engine for Vim
😱 从源码层面,剖析挖掘互联网行业主流技术的底层实现原理,为广大开发者 “提升技术深度” 提供便利。目前开放 Spring 全家桶,Mybatis、Netty、Dubbo 框架,及 Redis、Tomcat 中间件等
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Convert documentation websites, GitHub repositories, and PDFs into Claude AI skills with automatic conflict detection
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
PHP Static Analysis Tool - discover bugs in your code without running it!
✍🏻 Source Code Deep Dives, System Design & Engineering Blogs | Halfrost-Field 冰霜之地:源码解析、系统设计与工程实践笔记
A Ruby static code analyzer and formatter, based on the community Ruby style guide.
This is MCP server for Claude that gives it terminal control, file system search and diff file editing capabilities
🐶 Automated code review tool integrated with any code analysis tools regardless of programming language
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.
Go security checker
Bandit is a tool designed to find common security issues in Python code.
A maintained ctags implementation
⚗️ Adds code analysis to Laravel improving developer productivity and code quality.
Java 1-25 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.
It's not just a linter that annoys you!
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
🔥 Fast, strict, configurable, extensible, and beautiful linter for Go
An extensible multilanguage static code analyzer.
Paste any GitHub URL → interactive architecture map. See how files connect, find what breaks if you change something. No install, no accounts — runs entirely in your browser.
The ultimate RAG for your monorepo. Query, understand, and edit multi-language codebases with the power of AI and knowledge graphs
A static code analysis tool for the Elixir language with a focus on code consistency and teaching.
A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead
SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
flake8 is a python tool that glues together pycodestyle, pyflakes, mccabe, and third-party plugins to check the style and quality of some python code.
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
⚙️ The static code analysis tool you need for your HTML
A Python tool to visualize + enforce dependencies, using modular architecture 🌎 Open source 🐍 Installable via pip 🔧 Able to be adopted incrementally - ⚡ Implemented with no runtime impact ♾️ Interoperable with your existing systems 🦀 Written in rust
Code security scanning tool (SAST) to discover, filter and prioritize security and privacy risks.
ESLint Config for JavaScript Standard Style
nodejsscan is a static security code scanner for Node.js applications.
Static analysis for Angular projects.
The ripgrep of AI context: a zero-dependency C++23 CLI + MCP server for coding agents. Find what you want without reading the repo, then check you built what you meant — blast radius, tests-to-run, quality deltas. Signatures at 74.7% fewer bytes than bodies; every guess labelled, every loss published. Paddle out with a map.
The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)
Open-source, self-hosted AI vulnerability research tool that orchestrates agents to find and validate security issues in code.
Complete Solution for VAPT/AppSec and Pentesting Guide: Web | Mobile | API | Thick Client | Source Code Review | DevSecOps | Wireless | Network Pentesting | SAST | DAST etc...
Manage translation and localization with static analysis, for Ruby i18n
Documentation and issues for Pylance
State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.
Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.
High-performance code-intelligence engine for AI agents and IDE, supports 257 languages, multi repositories, based on graph, with access via CLI, MCP Server, and API. AI coding agents teammate - expose only needed information, cutting token usage up to 50x. 100% local. Discord: https://discord.gg/39MFHu3J5d
A code-completion & code-comprehension server
Static Value-Flow Analysis Framework for Source Code
Next-gen phpDoc parser with support for intersection types and generics
SonarSource Static Analyzer for JavaScript and TypeScript
A reactive Python kernel for Jupyter notebooks.
Visualize/analyze a Rust crate's internal structure
:coffee: SonarSource Static Analyzer for Java Code Quality and Security
Agent-driven automated CVE discovery platform for source code auditing, vulnerability verification, and report generation.
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
⚙️ A curated list of dynamic analysis tools and linters for all programming languages, binaries, and more.
Understand any codebase instantly. System intelligence for codebases, built for humans and AI.