https://pypi.org/project/ax-assistant-release-staging/ Recent updates to the Python Package Index for ax-assistant-release-staging en https://pypi.org/project/ax-assistant-release-staging/0.1.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, 13 Aug 2026 13:11:26 GMT https://pypi.org/project/ax-assistant-release-staging/0.1.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 Thu, 13 Aug 2026 05:28:57 GMT https://pypi.org/project/ax-assistant-release-staging/0.1.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, 12 Aug 2026 13:47:02 GMT https://pypi.org/project/ax-assistant-release-staging/0.1.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, 12 Aug 2026 08:08:06 GMT