continuous-authorization

Here is 1 public repository matching this topic...

j-arndt / fedcloud

Formal verification gateway that converts cloud infrastructure state into Lean 4 proofs and OSCAL compliance artifacts for continuous federal authorization (FedRamp 20x)

theorem-proving infrastructure-as-code formal-verification fedramp cloud-security compliance-as-code oscal lean4 nist-800-53 continuous-authorization

Updated Jun 30, 2026
Python

Improve this page

Add a description, image, and links to the continuous-authorization topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the continuous-authorization topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

continuous-authorization

Here is 1 public repository matching this topic...

j-arndt / fedcloud

Improve this page

Add this topic to your repo