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.