Product
EVO Chat
The primary conversational product built around EVO reasoning workflows.
Available at deepthought.com.au.
Products
Available Products
Browse the current product placeholders and jump between them from the left navigation.
Product
EVO Skills
Prolog-first reasoning workflow packaged as skills for AI coding agents.
EVO (Explicit-assumption Verification Orchestrator) helps AI agents verify conclusions by representing tasks as Prolog knowledge bases, tracing proofs, checking consistency, and testing which conclusions depend on specific assumptions. Available on GitHub.