THOR

Local memory for coding agents. A rule with a runnable proof can refuse a wrong command.

Otherv2.1.0