AI Agent Skills

static analysis of C/C++ code

Static Analyzer for Solidity and Vyper

Static analysis for GitHub Actions

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

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

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