checkov
Verification framework and benchmark for LLM-generated IaC repairs. QRS 2026 regular paper. arXiv:2609.28488.
An evidence-first Compliance Intelligence Engine that transforms security scanner findings into standardized, evidence-backed compliance artifacts.
Policy-driven security orchestration for hardened CI/CD pipelines
MCP server giving AI coding agents (Claude Code, Cursor, Codex) a queryable source of engineering constraints — policy-as-code guardrails for AI-generated code, backed by OPA, Conftest, Checkov & Semgrep.
