Deterministic verification layer for infrastructure as code. Verifies AWS IAM policies, network reachability, and cost estimates before deployment — sits between AI agents and cloud execution. Powered by Z3 and NetworkX.
Latest release v0.3.0 — v0.3.0 — Verification Context v1.0 + Attestation Trust Boundary · 25 Aug 2026
These files are QWED-AI/qwed-infra's own configuration. They tell GitHub Copilot how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.
.github/copilot-instructions.md A 205 tok