This repository organizes formal verification and model-checking resources, techniques, and tools.
Open source
24 alternativesQWED
vsPlexiglass
QWED vs Plexiglass
How do QWED and Plexiglass compare? Here are the facts side by side: pricing, platforms, open-source status and what each one is for.
| Directory detail | QWED | Plexiglass |
|---|---|---|
| What it is | QWED verifies LLM outputs, tool calls, code, schemas, and agent state before production execution. | Plexiglass helps detect and protect against vulnerabilities in large language models. |
| Website | ||
| Type | Open-source project | Open-source project |
| Topic | ||
| Pricing | Not confirmed | Not confirmed |
| Platforms | Not recorded | Not recorded |
| Open source | Yes | Yes |
| Language | English | English |
| Alternatives |
Other options to consider
Sites similar to both QWED and Plexiglass.
Ombre adds security, caching, memory, and audit functions in an infrastructure layer for AI requests.
FreemiumOpen source
24 alternatives
IP Intelligence detects proxies and VPN connections through an API intended to help prevent fraud.
Superagent’s open-source SDK helps protect AI applications from prompt injection, data leaks, and harmful outputs.
Open source
24 alternatives
ClawMoat helps guard AI agents against data leaks, unsafe tool use, and poisoned dependencies through an open-source firewall.
Open source
24 alternatives
Practice iOS penetration testing in a deliberately vulnerable app, with exercises covering vulnerabilities tested through iOS 11.
Open source
24 alternatives