PyPI recent updates for axiomatic-octo https://pypi.org/project/axiomatic-octo/ Recent updates to the Python Package Index for axiomatic-octo en 0.3.3 https://pypi.org/project/axiomatic-octo/0.3.3/ Semantic search over Lean 4 declarations — Mathlib and local corpora — as a CLI, a JSON-RPC sidecar, and a VS Code extension austin@axiomatic-ai.com Thu, 03 Sep 2026 09:45:13 GMT 0.3.1 https://pypi.org/project/axiomatic-octo/0.3.1/ Semantic search over Lean 4 declarations — Mathlib and local corpora — as a CLI, a JSON-RPC sidecar, and a VS Code extension austin@axiomatic-ai.com Wed, 02 Sep 2026 06:32:15 GMT 0.3.0 https://pypi.org/project/axiomatic-octo/0.3.0/ Semantic search over Lean 4 declarations — Mathlib and local corpora — as a CLI, a JSON-RPC sidecar, and a VS Code extension austin@axiomatic-ai.com Wed, 02 Sep 2026 04:56:03 GMT 0.2.9 https://pypi.org/project/axiomatic-octo/0.2.9/ Semantic search over Lean 4 declarations — Mathlib and local corpora — as a CLI, a JSON-RPC sidecar, and a VS Code extension austin@axiomatic-ai.com Thu, 20 Aug 2026 13:20:02 GMT 0.2.8 https://pypi.org/project/axiomatic-octo/0.2.8/ Semantic search over Lean 4 declarations — Mathlib and local corpora — as a CLI, a JSON-RPC sidecar, and a VS Code extension austin@axiomatic-ai.com Tue, 18 Aug 2026 16:01:41 GMT 0.2.7 https://pypi.org/project/axiomatic-octo/0.2.7/ Semantic search over Lean 4 declarations — Mathlib and local corpora — as a CLI, a JSON-RPC sidecar, and a VS Code extension austin@axiomatic-ai.com Tue, 18 Aug 2026 14:20:38 GMT 0.2.6 https://pypi.org/project/axiomatic-octo/0.2.6/ Semantic search over Lean 4 declarations — Mathlib and local corpora — as a CLI, a JSON-RPC sidecar, and a VS Code extension austin@axiomatic-ai.com Tue, 18 Aug 2026 09:10:43 GMT 0.2.5 https://pypi.org/project/axiomatic-octo/0.2.5/ Semantic search over Lean 4 declarations — Mathlib and local corpora — as a CLI, a JSON-RPC sidecar, and a VS Code extension austin@axiomatic-ai.com Tue, 18 Aug 2026 08:02:34 GMT 0.2.4 https://pypi.org/project/axiomatic-octo/0.2.4/ Semantic search over Lean 4 declarations — Mathlib and local corpora — as a CLI, a JSON-RPC sidecar, and a VS Code extension austin@axiomatic-ai.com Mon, 17 Aug 2026 07:28:06 GMT 0.2.3 https://pypi.org/project/axiomatic-octo/0.2.3/ Semantic search over Lean 4 declarations — Mathlib and local corpora — as a CLI, a JSON-RPC sidecar, and a VS Code extension austin@axiomatic-ai.com Sun, 16 Aug 2026 09:51:50 GMT 0.2.2 https://pypi.org/project/axiomatic-octo/0.2.2/ Semantic search over Lean 4 declarations — Mathlib and local corpora — as a CLI, a JSON-RPC sidecar, and a VS Code extension austin@axiomatic-ai.com Fri, 14 Aug 2026 13:38:05 GMT 0.2.1 https://pypi.org/project/axiomatic-octo/0.2.1/ Semantic search over Lean 4 declarations — Mathlib and local corpora — as a CLI, a JSON-RPC sidecar, and a VS Code extension austin@axiomatic-ai.com Fri, 14 Aug 2026 13:24:31 GMT 0.2.0 https://pypi.org/project/axiomatic-octo/0.2.0/ Semantic search over Lean 4 declarations — Mathlib and local corpora — as a CLI, a JSON-RPC sidecar, and a VS Code extension austin@axiomatic-ai.com Fri, 14 Aug 2026 12:29:00 GMT