AI Agent Skills

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

Static Value-Flow Analysis Framework for Source Code

FlowDroid Static Data Flow Tracker

SonarSource Static Analyzer for JavaScript and TypeScript

:coffee: SonarSource Static Analyzer for Java Code Quality and Security

A powerful C# Roslyn analyzer that uses static analysis to detect bugs, surface security issues, and enforce best practices—helping developers and AI write more reliable…

An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.