reasoning — independent software & tools
-
grounded-reasoning
Zero-token, precision-guaranteed relation-algebra verifier for LLM/agent multi-hop reasoning
-
nothumanallowed
Local AI assistant: 80 tools (Gmail, Calendar, Drive, GitHub, Slack, browser, code, files), 38 agents, visual workflows (Studio, AWF, WebCraft). Install with `npm i -g nothumanallowed`, run with `nha ui`. Free tier built-in (Liara), no API key required. Y
-
mco
Manage cloud resources efficiently with MCO, a Python tool offering built-in support for multiple providers and streamlined automation.