Metadata-Version: 2.4
Name: halt-ai
Version: 0.1.0
Summary: Deterministic safety rails for probabilistic AI.
Author-email: Formal Methods <hello@formal-methods.io>
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Classifier: Intended Audience :: Developers
Classifier: Topic :: Security
Requires-Python: >=3.8
Description-Content-Type: text/markdown
License-File: LICENSE
Dynamic: license-file

# Halt
Deterministic safety rails for probabilistic AI. Catch the bullet before it hits your API.
