published by nworks3d

1 listings on this page, in order of arrival. Each one has its own page with README, repository facts and source links.

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