Decision filters

Choose skills by scenario, quality, and trust signals.

2 skills matching "abstract-interpretation"

Best blend of quality, stars, freshness, and agent usage

1

Pyre Check

VERIFIEDEXCELLENT · 100

Performant type-checking for python.

$ npx skills add facebook/pyre-check
7.2K stars69 qualityClaude Code
High-confidence pick with strong adoption and healthy maintenance signals.
ocamlstatic-analysis
by facebookQuick view
2

Ikos

VERIFIEDEXCELLENT · 100

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

$ npx skills add NASA-SW-VnV/ikos
3.2K stars66 qualityClaude Code
High-confidence pick with strong adoption and healthy maintenance signals.
c++static-analysis
by NASA-SW-VnVQuick view