#1
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
16K starsJun 16, 2026 pushdevelopmentOCamlStatic Analysis
$ npx skills add semgrep/semgrepAlternatives
Prometeo alternatives for AI agents.
Compare similar skills by workflow fit, trust score, quality, GitHub adoption, maintenance, and install readiness.
Current skill
Prometeo
An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing
54
Quality
77
Trust
655
Stars
#2
Static Analyzer for Solidity and Vyper
6.3K starsJun 11, 2026 pushdevelopmentPythonStatic Analysis
$ npx skills add crytic/slither#3
It's not just a linter that annoys you!
5.7K starsJun 9, 2026 pushdevelopmentPythonStatic Analysis
$ npx skills add pylint-dev/pylint#4
flake8 is a python tool that glues together pycodestyle, pyflakes, mccabe, and third-party plugins to check the style and quality of some python code.
3.8K starsMay 19, 2026 pushdevelopmentPythonStatic Analysis
$ npx skills add PyCQA/flake8#5
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
2.6K starsJun 11, 2026 pushdevelopmentPythonStatic Analysis
$ npx skills add Ericsson/codechecker#6
Scanning APK file for URIs, endpoints & secrets.
6.1K starsAug 20, 2025 pushdevelopmentPythonStatic Analysis
$ npx skills add dwisiswant0/apkleaks#7
A static type analyzer for Python code
5.0K starsMar 16, 2026 pushdevelopmentPythonStatic Analysis
$ npx skills add google/pytype#8
An extremely fast Python linter and code formatter, written in Rust.
48K starsJun 14, 2026 pushdevelopmentRustStatic Analysis
$ npx skills add astral-sh/ruff#9
An analysis tool for Python that blurs the line between testing and type systems.
1.3K starsJun 13, 2026 pushdevelopmentPythonStatic Analysis
$ npx skills add pschanely/CrossHair#10
A Java 8+ Jar & Android APK Reverse Engineering Suite (Decompiler, Editor, Debugger & More)
16K starsApr 2, 2026 pushdevelopmentJavaStatic Analysis
$ npx skills add Konloch/bytecode-viewer#11
A static analyzer for Java, C, C++, and Objective-C
16K starsJun 13, 2026 pushdevelopmentOCamlStatic Analysis
$ npx skills add facebook/infer#12
Performant type-checking for python.
7.2K starsJun 15, 2026 pushdevelopmentOCamlStatic Analysis
$ npx skills add facebook/pyre-check#13
static analysis of C/C++ code
6.6K starsJun 12, 2026 pushdevelopmentC++Static Analysis
$ npx skills add cppcheck-opensource/cppcheck#14
The OWASP Mobile Application Security Testing Guide (MASTG) is a comprehensive manual for mobile app security testing and reverse engineering. It describes technical processes for verifying the OWASP Mobile Security Weakness Enumeration (MASWE) weaknesses, which are in alignment with the OWASP MASVS.
13K starsJun 15, 2026 pushdevelopmentPythonStatic Analysis
$ npx skills add OWASP/mastg#15
Prevent cloud misconfigurations and find vulnerabilities during build-time in infrastructure as code, container images and open source packages with Checkov by Bridgecrew.
8.8K starsJun 14, 2026 pushdevelopmentPythonStatic Analysis
$ npx skills add bridgecrewio/checkov#16
Cake a C23 front end and transpiler written in C
677 starsJun 12, 2026 pushdevelopmentCStatic Analysis
$ npx skills add thradams/cakeHow to choose
When should you switch?
Use an alternative when it has a clearer install path, higher trust score, fresher maintenance, or better platform fit for your current agent stack. Keep Prometeo if it already passes your workflow test and repository review.
Next step
Compare top candidates side by side
Open the compare page, test the install commands in a sandbox, and check each repository before using a skill in production.