The first formal security methodology designed for human-AI collaboration. Systematic. Evidence-based. Open source.
-
Updated
Jan 29, 2026
The first formal security methodology designed for human-AI collaboration. Systematic. Evidence-based. Open source.
HybrautNav a three layer navigation stack consisting of Strategy, Tactical and Controller Layers.
Plutus Experimental Smart Contacts
Add a description, image, and links to the formal-method topic page so that developers can more easily learn about it.
To associate your repository with the formal-method topic, visit your repo's landing page and select "manage topics."