1
Performant type-checking for python.
$ npx skills add facebook/pyre-check7.2K stars69 qualityClaude Code
High-confidence pick with strong adoption and healthy maintenance signals.
ocamlstatic-analysis
by facebookQuick view
Decision filters
Choose skills by scenario, quality, and trust signals.
2 skills matching "abstract-interpretation"
Best blend of quality, stars, freshness, and agent usage
2
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
$ npx skills add NASA-SW-VnV/ikos3.2K stars66 qualityClaude Code
High-confidence pick with strong adoption and healthy maintenance signals.
c++static-analysis
by NASA-SW-VnVQuick view