#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
Pyre Check alternatives for AI agents.
Compare similar skills by workflow fit, trust score, quality, GitHub adoption, maintenance, and install readiness.
Current skill
Pyre Check
Performant type-checking for python.
100
Quality
94
Trust
7.2K
Stars
#2
A static analyzer for Java, C, C++, and Objective-C
16K starsJun 13, 2026 pushdevelopmentOCamlStatic Analysis
$ npx skills add facebook/infer#3
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
3.2K starsMay 31, 2026 pushdevelopmentC++Static Analysis
$ npx skills add NASA-SW-VnV/ikos#4
An extremely fast Python linter and code formatter, written in Rust.
48K starsJun 14, 2026 pushdevelopmentRustStatic Analysis
$ npx skills add astral-sh/ruff#5
Go security checker
8.9K starsJun 15, 2026 pushdevelopmentGoStatic Analysis
$ npx skills add securego/gosec#6
A PHP static analysis tool for finding errors and security vulnerabilities in PHP applications
5.9K starsJun 11, 2026 pushdevelopmentPHPStatic Analysis
$ npx skills add vimeo/psalm#7
Static Analyzer for Solidity and Vyper
6.3K starsJun 11, 2026 pushdevelopmentPythonStatic Analysis
$ npx skills add crytic/slither#8
It's not just a linter that annoys you!
5.7K starsJun 9, 2026 pushdevelopmentPythonStatic Analysis
$ npx skills add pylint-dev/pylint#9
Static analysis for GitHub Actions
5.6K starsJun 14, 2026 pushdevelopmentRustStatic Analysis
$ npx skills add zizmorcore/zizmor#10
A static analysis security vulnerability scanner for Ruby on Rails applications
7.2K starsJun 15, 2026 pushdevelopmentRubyStatic Analysis
$ npx skills add presidentbeef/brakeman#11
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#12
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
54K starsJun 12, 2026 pushdevelopmentC++Static Analysis
$ npx skills add WerWolv/ImHex#13
ShellCheck, a static analysis tool for shell scripts
40K starsJun 11, 2026 pushdevelopmentHaskellStatic Analysis
$ npx skills add koalaman/shellcheck#14
Mobile Security Framework (MobSF) is an automated, all-in-one mobile application (Android/iOS/Windows) pen-testing, malware analysis and security assessment framework capable of performing static and dynamic analysis.
21K starsMay 19, 2026 pushdevelopmentJavaScriptStatic Analysis
$ npx skills add MobSF/Mobile-Security-Framework-MobSF#15
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#16
A Java 8+ Jar & Android APK Reverse Engineering Suite (Decompiler, Editor, Debugger & More)
16K starsApr 2, 2026 pushdevelopmentJavaStatic Analysis
$ npx skills add Konloch/bytecode-viewerHow 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 Pyre Check 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.