https://pypi.org/project/halt-ai/ Recent updates to the Python Package Index for halt-ai en https://pypi.org/project/halt-ai/0.1.0/ Deterministic safety rails for probabilistic AI. hello@formal-methods.io Thu, 26 Mar 2026 05:10:05 GMT