python-invar 1.0.0

DEPRECATED: Use invar-tools (CLI) or invar-runtime (contracts) instead

python-invar (DEPRECATED)

This package is deprecated. Please migrate to the new packages.

Migration Guide

python-invar has been split into two packages for better modularity:

Old	New	Purpose
python-invar	invar-runtime	Runtime contracts (@pre, @post, must_use, etc.)
python-invar	invar-tools	CLI tools (guard, map, sig, MCP server)

For Projects Using Contracts

If your project uses Invar contracts at runtime:

pip uninstall python-invar
pip install invar-runtime

Update imports:

# Old
from invar import pre, post, Contract

# New (recommended)
from invar_runtime import pre, post, Contract

# Or keep using 'invar' (still works via invar-tools)
from invar import pre, post, Contract

For Development Tools

If you use Invar CLI tools:

pip uninstall python-invar
pip install invar-tools

Or use without installing:

uvx invar-tools guard

Why the Split?

• invar-runtime (~3MB): Lightweight, only what your project needs at runtime
• invar-tools (~100MB): Full development tools with Hypothesis, CrossHair, etc.

Projects can now depend on just invar-runtime without the heavy verification tools.

Links

• Migration Guide
• invar-runtime on PyPI
• invar-tools on PyPI
• GitHub Repository