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 6 days ago (2026-10-17 01:22 UTC)165GPL 3.0