https://pypi.org/project/iam-axiom-verifier/ Recent updates to the Python Package Index for iam-axiom-verifier en https://pypi.org/project/iam-axiom-verifier/0.1.0b3/ 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. Sun, 15 Mar 2026 16:35:45 GMT https://pypi.org/project/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. Sun, 08 Mar 2026 22:02:34 GMT https://pypi.org/project/iam-axiom-verifier/0.1.0b1/ 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. Sun, 08 Mar 2026 21:46:31 GMT