Metadata-Version: 2.4
Name: proven
Version: 0.9.0
Summary: Code that cannot crash - verified safety functions from Idris 2
Author-email: Hyperpolymath <hyperpolymath@proton.me>
License: PMPL-1.0
Project-URL: Homepage, https://github.com/hyperpolymath/proven
Project-URL: Repository, https://github.com/hyperpolymath/proven
Project-URL: Documentation, https://github.com/hyperpolymath/proven#readme
Keywords: safety,verified,idris,ffi,crash-free
Classifier: Development Status :: 3 - Alpha
Classifier: Intended Audience :: Developers
Classifier: Topic :: Software Development :: Libraries
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Classifier: Typing :: Typed
Requires-Python: >=3.9
Description-Content-Type: text/markdown

# proven-py

Python bindings for the [proven](https://github.com/hyperpolymath/proven) library - safe, formally verified operations.

## Installation

```bash
pip install proven
```

## Usage

```python
from proven import SafeMath, SafeString, SafeEmail

# Safe math operations
result = SafeMath.add(1, 2)
if result.is_ok():
    print(result.unwrap())  # 3

# Overflow detection
overflow = SafeMath.add(2**63 - 1, 1)
if overflow.is_err():
    print("Overflow detected!")

# Safe string escaping
escaped = SafeString.escape_html("<script>alert('xss')</script>")
print(escaped)  # &lt;script&gt;...

# Email validation
if SafeEmail.is_valid("user@example.com"):
    print("Valid email")
```

## License

AGPL-3.0-or-later
