clankercode / clawq Star 0 Code Issues Pull requests A formal personal AI assistant. formal-verification claw ai-assistant clawq Updated Sep 22, 2026 OCaml