Last released May 20, 2026
RigorXRigor CLI: graph-grounded mathematical evidence for agents.
Supported by