iam-axiom-verifier

0.1.0b2

A 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.

License Sources
SourceLicenseClass
Licensie (detected)
MITPermissive
PyPI (reported)
Not reported-

No license was reported in the package metadata for this version.

Loading dependencies…
License File
Added Removed Expected
Versions
2 versions
VersionLicensePublishedStatus
0.1.0b2 Latest ViewingMITMar 8, 2026 Scanned
0.1.0b1 MITMar 8, 2026 Scanned