It's not hard but fun to get a glance at these different proof systems. But it's a pity that we didn't include the proof of Gödel's Incompleteness Theorems. \btw The proof systems are really ...

This "one-two" punch of deterministic and statistical is starting to stand up a better solution than either independently.

nano-claw/ ├── src/ │ ├── agent/ # 🧠 Core agent logic │ │ ├── loop.ts # Agent loop (LLM ↔ tool execution) │ │ ├── context.ts # Prompt builder │ │ ├── memory.ts # Persistent memory │ │ ├── skills.ts ...