AI Coding Agent Memory & Semantic Change Control
About Nool
Nool was created to bridge the gap between autonomous AI agents and the rigorous change-control standards required for serious evolving software.
- Originated from RFX, a banking settlement infrastructure using TLA+ formal verification.
- Brings deterministic governance from high-stakes finance to AI coding workflows.
- Founded to ensure AI-authored code remains attributable, safe, and governable.