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