https://pypi.org/project/athanor-ai/ Recent updates to the Python Package Index for athanor-ai en https://pypi.org/project/athanor-ai/0.3.1/ Formal verification as agentic training signal — CLI + self-hosted runner aidan@athanor-ai.com Fri, 10 Apr 2026 05:49:52 GMT https://pypi.org/project/athanor-ai/0.3.0/ Formal verification as agentic training signal — CLI + self-hosted runner aidan@athanor-ai.com Fri, 10 Apr 2026 04:16:04 GMT https://pypi.org/project/athanor-ai/0.2.3/ Formal verification as agentic training signal — CLI + self-hosted runner aidan@athanor-ai.com Thu, 09 Apr 2026 23:40:40 GMT https://pypi.org/project/athanor-ai/0.2.2/ Formal verification as agentic training signal — CLI + self-hosted runner aidan@athanor-ai.com Thu, 09 Apr 2026 23:26:47 GMT https://pypi.org/project/athanor-ai/0.2.1/ Formal verification as agentic training signal — CLI + self-hosted runner aidan@athanor-ai.com Thu, 09 Apr 2026 23:08:04 GMT https://pypi.org/project/athanor-ai/0.2.0/ Formal verification as agentic training signal — CLI + self-hosted runner aidan@athanor-ai.com Thu, 09 Apr 2026 22:56:14 GMT https://pypi.org/project/athanor-ai/0.1.1/ Lean 4 proof verification as agentic training signal aidan@athanor-ai.com Wed, 08 Apr 2026 21:54:31 GMT https://pypi.org/project/athanor-ai/0.1.0/ RL training environments with verifiable rewards aidan@athanor-ai.com Wed, 08 Apr 2026 21:50:25 GMT