Last released Jun 15, 2026
CLI for customer-controlled RTL optimization, verification reports, and reproducible run artifacts
Last released Apr 25, 2026
Reserved-name placeholder. The real product is the Lean 4 `pythia` tactic + statistics library at https://github.com/athanor-ai/pythia.
Supported by
