O

Decision filters

Choose skills by scenario, quality, and trust signals.

1 skill matching "software-verification"

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

1

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