This repository organizes formal verification and model-checking resources, techniques, and tools.
Open source
24 alternativesPlexiglass
vsQWED
Plexiglass vs QWED
How do Plexiglass and QWED compare? Here are the facts side by side: pricing, platforms, open-source status and what each one is for.
| Directory detail | Plexiglass | QWED |
|---|---|---|
| What it is | Plexiglass helps detect and protect against vulnerabilities in large language models. | QWED verifies LLM outputs, tool calls, code, schemas, and agent state before production execution. |
| 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 Plexiglass and QWED.
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