AI Agent Skills

An extensible multilanguage static code analyzer.

A static code analysis tool for the Elixir language with a focus on code consistency and teaching.

A source code analyzer built for surfacing features of interest and other characteristics to answer the question 'What's in the code?' quickly using static analysis with…

TypeScript Compiler API wrapper for static analysis and programmatic code changes.

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.

SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.

Static analysis tool to detect potential nil panics in Go code

Codebase intelligence for TypeScript and JavaScript. Free static layer: unused code, duplication, circular deps, complexity hotspots, architecture boundaries. Optional p…

A static type analyzer for Python code

KubeLinter is a static analysis tool that checks Kubernetes YAML files and Helm charts to ensure the applications represented in them adhere to best practices.

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.

Manage translation and localization with static analysis, for Ruby i18n

Static analyzer and linter for Clojure code that sparks joy

An easy-to-learn/use static analysis framework for Java and Android

Static Value-Flow Analysis Framework for Source Code