Skip to content
#

verified-software

Star

Here are 3 public repositories matching this topic...

ideatrino / castellan

Star 0

A verifiably-bounded AI architecture: security from a small, formally-verified governor (the Warden) that holds authority over an untrusted learned core. Safety guarantee proved four ways — Z3, Coq/Rocq kernel, sympy, Lean. AGPL-3.0 + commercial dual-license.

python cryptography coq theorem-proving agpl z3 formal-verification attestation ai-safety differential-privacy conformal-prediction machine-learning-security ai-security ai-alignment byzantine-fault-tolerance control-barrier-functions trustworthy-ai dual-license prompt-injection verified-software
  • Updated Jul 13, 2026

Improve this page

Add a description, image, and links to the verified-software 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 verified-software topic, visit your repo's landing page and select "manage topics."

Learn more