thor-memory-bibleKnowledge & MemoryCode AnalysisDeveloper Toolsnworks3dAlicenseAqualityAmaintenanceLocal memory for coding agents that can refuse, not only recall. A rule carrying a machine-checkable proof blocks the matching command before it runs, while prose-only rules can warn but never block. Updated 5 hours ago (2026-09-07 18:42 UTC)6164GPL 3.0