https://pypi.org/project/athanor-sdk/ Recent updates to the Python Package Index for athanor-sdk en https://pypi.org/project/athanor-sdk/0.8.12/ Multi-agent verification orchestration -- LLMs propose, formal tools prove, every change is machine-checked Tue, 09 Jun 2026 19:39:13 GMT https://pypi.org/project/athanor-sdk/0.8.11/ Multi-agent verification orchestration -- LLMs propose, formal tools prove, every change is machine-checked Mon, 08 Jun 2026 15:55:19 GMT https://pypi.org/project/athanor-sdk/0.8.10/ Multi-agent verification orchestration -- LLMs propose, formal tools prove, every change is machine-checked Sat, 06 Jun 2026 02:04:28 GMT https://pypi.org/project/athanor-sdk/0.8.9/ Multi-agent verification orchestration -- LLMs propose, formal tools prove, every change is machine-checked Sat, 06 Jun 2026 00:49:35 GMT https://pypi.org/project/athanor-sdk/0.8.8/ Multi-agent verification orchestration -- LLMs propose, formal tools prove, every change is machine-checked Fri, 05 Jun 2026 22:06:24 GMT https://pypi.org/project/athanor-sdk/0.8.7/ Multi-agent verification orchestration -- LLMs propose, formal tools prove, every change is machine-checked Fri, 05 Jun 2026 04:39:47 GMT https://pypi.org/project/athanor-sdk/0.8.6/ Multi-agent verification orchestration -- LLMs propose, formal tools prove, every change is machine-checked Tue, 02 Jun 2026 23:32:29 GMT https://pypi.org/project/athanor-sdk/0.8.5/ Multi-agent verification orchestration -- LLMs propose, formal tools prove, every change is machine-checked Tue, 02 Jun 2026 00:55:57 GMT https://pypi.org/project/athanor-sdk/0.8.3/ Multi-agent verification orchestration -- LLMs propose, formal tools prove, every change is machine-checked Sat, 30 May 2026 22:35:50 GMT https://pypi.org/project/athanor-sdk/0.8.2/ Multi-agent verification orchestration -- LLMs propose, formal tools prove, every change is machine-checked Sat, 30 May 2026 06:43:22 GMT https://pypi.org/project/athanor-sdk/0.8.1/ Formal verification as agentic training signal — CLI + self-hosted runner Fri, 29 May 2026 07:41:59 GMT https://pypi.org/project/athanor-sdk/0.7.5/ Formal verification as agentic training signal — CLI + self-hosted runner Mon, 25 May 2026 04:42:51 GMT https://pypi.org/project/athanor-sdk/0.7.1/ Formal verification as agentic training signal — CLI + self-hosted runner Tue, 19 May 2026 16:13:38 GMT https://pypi.org/project/athanor-sdk/0.7.0/ Formal verification as agentic training signal — CLI + self-hosted runner Tue, 19 May 2026 15:57:33 GMT https://pypi.org/project/athanor-sdk/0.6.4/ Formal verification as agentic training signal — CLI + self-hosted runner Sat, 16 May 2026 00:05:31 GMT https://pypi.org/project/athanor-sdk/0.6.3/ Formal verification as agentic training signal — CLI + self-hosted runner Fri, 15 May 2026 23:30:26 GMT https://pypi.org/project/athanor-sdk/0.6.2/ Formal verification as agentic training signal — CLI + self-hosted runner Fri, 15 May 2026 23:20:14 GMT https://pypi.org/project/athanor-sdk/0.6.1/ Formal verification as agentic training signal — CLI + self-hosted runner Fri, 15 May 2026 22:48:57 GMT https://pypi.org/project/athanor-sdk/0.6.0/ Formal verification as agentic training signal — CLI + self-hosted runner Fri, 15 May 2026 21:15:58 GMT https://pypi.org/project/athanor-sdk/0.5.4/ Formal verification as agentic training signal — CLI + self-hosted runner Sat, 09 May 2026 17:49:24 GMT https://pypi.org/project/athanor-sdk/0.5.3/ Formal verification as agentic training signal — CLI + self-hosted runner Sat, 09 May 2026 16:38:44 GMT https://pypi.org/project/athanor-sdk/0.5.2/ Formal verification as agentic training signal — CLI + self-hosted runner Sat, 09 May 2026 10:59:52 GMT https://pypi.org/project/athanor-sdk/0.5.1/ Formal verification as agentic training signal — CLI + self-hosted runner Sat, 09 May 2026 10:57:57 GMT https://pypi.org/project/athanor-sdk/0.5.0/ Formal verification as agentic training signal — CLI + self-hosted runner Sat, 09 May 2026 03:43:37 GMT https://pypi.org/project/athanor-sdk/0.4.9/ Formal verification as agentic training signal — CLI + self-hosted runner Sat, 09 May 2026 03:41:08 GMT https://pypi.org/project/athanor-sdk/0.4.8/ Formal verification as agentic training signal — CLI + self-hosted runner Sat, 09 May 2026 03:34:46 GMT https://pypi.org/project/athanor-sdk/0.4.7/ Formal verification as agentic training signal — CLI + self-hosted runner Sat, 09 May 2026 03:23:56 GMT https://pypi.org/project/athanor-sdk/0.4.6/ Formal verification as agentic training signal — CLI + self-hosted runner Sat, 09 May 2026 03:17:33 GMT https://pypi.org/project/athanor-sdk/0.4.5/ Formal verification as agentic training signal — CLI + self-hosted runner Sat, 09 May 2026 03:14:23 GMT https://pypi.org/project/athanor-sdk/0.4.4/ Formal verification as agentic training signal — CLI + self-hosted runner Sat, 09 May 2026 03:12:54 GMT https://pypi.org/project/athanor-sdk/0.4.3/ Formal verification as agentic training signal — CLI + self-hosted runner Sat, 09 May 2026 00:47:17 GMT https://pypi.org/project/athanor-sdk/0.4.2/ Formal verification as agentic training signal — CLI + self-hosted runner Fri, 08 May 2026 23:20:42 GMT https://pypi.org/project/athanor-sdk/0.4.1/ Formal verification as agentic training signal — CLI + self-hosted runner aidan@athanorl.com Sat, 25 Apr 2026 01:22:51 GMT https://pypi.org/project/athanor-sdk/0.4.0/ Formal verification as agentic training signal — CLI + self-hosted runner aidan@athanor-ai.com Mon, 20 Apr 2026 23:13:46 GMT https://pypi.org/project/athanor-sdk/0.3.5/ Formal verification as agentic training signal — CLI + self-hosted runner aidan@athanor-ai.com Thu, 16 Apr 2026 20:19:56 GMT https://pypi.org/project/athanor-sdk/0.3.2/ Formal verification as agentic training signal — CLI + self-hosted runner aidan@athanor-ai.com Mon, 13 Apr 2026 00:18:38 GMT