iam-axiom-verifier
0.1.0b2A Neuro-Symbolic Inference Engine for AWS Security & FinOps — combines LLM routing with Z3 SMT/ILP solvers for formal IAM verification and financial blast radius analysis.
Published
March 8, 2026
1d ago
Package Registry
README badge Customize →
License Sources
| Source | License | Class |
|---|---|---|
Licensie (detected) | MIT | Permissive |
PyPI (reported) | Not reported | - |
No license was reported in the package metadata for this version.
Loading dependencies…
License File
Added Removed Expected