GitHub repository: sookoothaii/HAK-GAL-Suite
Primary language: Python
Created: 2025-07-08T11:37:04Z
Description: HAK-GAL-Suite: Neuro-symbolic AI for verifiable knowledge. NL2Logic converts text to logic, RAG for context, Lark logic firewall, pattern/Z3/Wolfram provers, clarifications & caching for robust, explainable reasoning.