1
Also covers open source, security tools, and verification · same kind of open-source project
QWED verifies LLM outputs, tool calls, code, schemas, and agent state before production execution.
Alternatives
The Best Awesome Formal Verification Alternatives in 2026
24 alternatives1 free · 21 open source
Looking for something like Awesome Formal Verification? Here are 24 alternatives, ranked by how closely they match it on purpose, features and platforms. Of these, 1 are free or have a free plan and 21 are open source.
About Awesome Formal Verificationgithub.com/ElNiak/awesome-formal-verification
VisitThis repository organizes formal verification and model-checking resources, techniques, and tools.
Top picks at a glance
First suggestionQWEDQWED verifies LLM outputs, tool calls, code, schemas, and…Free or freemium optionM CaptchaAdd a proof-of-work CAPTCHA system to an application using…Another optionSSLLabsSSL Labs provides tools for testing SSL and TLS…
Quick comparison
| # | Alternative | Pricing | Open source | Platforms |
|---|---|---|---|---|
| 1 | QWED | — | Yes | — |
| 2 | SSLLabs | Free trial | Not stated | Web |
| 3 | Aegis | — | Not stated | Android, Web |
| 4 | Facia | — | Not stated | Web |
| 5 | Plexiglass | — | Yes | — |
| 6 | OpenSCA-CLI | — | Yes | — |
| 7 | Web Check | — | Yes | — |
| 8 | Awesome Android Reverse Engineering | — | Yes | Android |
| 9 | Awesome Hacking | — | Yes | Android |
| 10 | Apktool | — | Yes | Android |
All Awesome Formal Verification alternatives
2
Also covers security tools and testing tools
SSL Labs provides tools for testing SSL and TLS configurations and related public key infrastructure.
3
Aegis
getaegis.appAlso covers security tools and verification
Manage two-step verification tokens on Android with Aegis Authenticator, a free, open-source app.
4
Facia
facia.aiAlso covers security tools and verification
Facia provides deepfake and liveness detection for identity verification and authentication.
5
Also covers open source and security tools · same kind of open-source project
Plexiglass helps detect and protect against vulnerabilities in large language models.
6
Also covers open source and security tools · same kind of open-source project
Check open-source dependencies for vulnerabilities and license compliance with OpenSCA-CLI.
7
Also covers open source and security tools · same kind of open-source project
Analyze a website with Web Check, an all-in-one tool described as an OSINT utility.
8
Also covers open source and security tools · same kind of open-source project
Browse Android reverse engineering training, tools, and learning resources in this curated repository.
9
Also covers open source and security tools · same kind of open-source project
This repository collects lists of tools and resources for hackers and security researchers.
10
Also covers open source and security tools · same kind of open-source project
Apktool reverse engineers Android APK files and provides a repository for the project.
11
Also covers open source and security tools · same kind of open-source project
git-hound searches public GitHub repositories for exposed secrets and credentials.
12
Also covers open source and security tools · same kind of open-source project
Use reference sheets for reverse engineering, binary analysis, and assembly programming tools.
13
Also covers open source and security tools · same kind of open-source project · free
Add a proof-of-work CAPTCHA system to an application using the mCaptcha backend component.
14
Also covers open source and security tools · same kind of open-source project
Practice iOS penetration testing in a deliberately vulnerable app, with exercises covering vulnerabilities tested through iOS 11.
15
Also covers open source and security tools · same kind of open-source project
Karma Firewall is an Android firewall that states it requires no internet permission and intercepts no allowed user traffic.
16
Also covers open source and security tools · same kind of open-source project
Scan IP addresses and ports concurrently with rang3r, a multithreaded scanner.
17
Also covers open source and security tools · same kind of open-source project
Security and best-practice issues in container images can be checked with Dockle.
18
Also covers open source and security tools · same kind of open-source project
AllSafe provides an intentionally vulnerable Android app for security testing and practice.
19
Also covers open source and security tools · same kind of open-source project
Browse a curated collection of information security tools, links, and learning resources.
20
Also covers open source and security tools · same kind of open-source project
Set up a Windows virtual machine for reverse engineering with FLARE-VM’s software installation scripts.
21
Also covers open source and security tools · same kind of open-source project
This GitHub list collects books, guidelines, blogs, videos, tools, and cases related to CI/CD security.
22
Also covers open source and security tools · same kind of open-source project
Agentic Radar scans agent workflows for security issues and helps developers review potential risks.
23
Also covers open source and security tools · same kind of open-source project
Configure network activity rules through Windows Filtering Platform with Simplewall.
24
Also covers open source and security tools · same kind of open-source project
Set network rules by application or globally with Fort Firewall for Windows.
No alternatives match this filter.
Alternatives to similar tools
git-hound24 alternativesReversing Bits24 alternativesAwesome Hacking24 alternativesPlexiglass24 alternativesQWED24 alternativesSSLLabs24 alternatives
TopicSecurity Tools · 202 sites Best-of list8 Best Free Authenticator Apps for Codes and Recovery ListingAwesome Formal Verification details
What is the best alternative to Awesome Formal Verification?
Based on features, tags and platforms, the closest alternatives to Awesome Formal Verification are QWED, SSLLabs, and Aegis.
Is there a free alternative to Awesome Formal Verification?
Yes. M Captcha is free or offer a free plan.
Are there open-source alternatives to Awesome Formal Verification?
Yes: QWED, Plexiglass, OpenSCA-CLI, and Web Check.
Alternatives are suggested from the purpose and features described in our listings. Different pages for the same product appear once. Read each description to check whether it fits your task. How we choose alternatives · Suggest an alternative