Home / Servers / Z3 Prover
Z3 Prover Exposes the Z3 theorem prover for constraint solving, satisfiability checking, and optimization with support for Boolean, integer, and real variable types.
0 Tools
0 Findings
0 Stars
Apr 5, 2026 Last Scanned
Security Findings0 No findings detected. This server passed all 177 detection rules.
Select a category to explore sub-categories, findings, and compliance coverage.
Prompt Injection
14 rules
Tool Poisoning
8 rules
Code Injection
9 rules
Data Exfiltration
9 rules
Privilege & Permissions
9 rules
Insecure Config
14 rules
Dependency Vulns
7 rules
Supply Chain
5 rules
Authentication
6 rules
Adversarial AI
8 rules
Compliance & Governance
14 rules
Supply Chain Advanced
15 rules
AI Runtime Exploitation
9 rules
Protocol Edge Cases
15 rules
Data Privacy Attacks
10 rules
Infrastructure Runtime
10 rules
Cross-Ecosystem Emergent
15 rules