Skip to main content

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.

Metadata

Release files for python-invar 1.0.0

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for python-invar 1.0.0
File Size Uploaded
python_invar-1.0.0.tar.gz 2.2 kB Details

Built distribution (wheel)

Table of built distributions (wheels) for python-invar 1.0.0
File Interpreter ABI Platform
python_invar-1.0.0-py3-none-any.whl Python 3 none any Details

Total release size: 4.5 kB

Release files / python_invar-1.0.0.tar.gz

Download URL python_invar-1.0.0.tar.gz
Size 2.2 kB
Tags Source
SHA-256 checksum
How to use checksums
06b871649d36d4c21bae1d63b623d0bad3f60c59acde85cc7f11abcda0b5cd4f
BLAKE2b-256 checksum
How to use checksums
ec8c4da4ad7c218b6cc7fc06965eb91439f597cb66cf639e768a2a10aac76696
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
Yes
Uploaded via twine/6.1.0 CPython/3.13.7

Provenance

Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.

PyPI Publish Attestation

PyPI verified that this artifact, at this checksum, originated from the publisher listed below.

Signed by GitHub Actions, verified by PyPI on Dec 23, 2025.

Transparency log

Release files / python_invar-1.0.0-py3-none-any.whl

Download URL python_invar-1.0.0-py3-none-any.whl
Size 2.4 kB
Tags Python 3
SHA-256 checksum
How to use checksums
040767a9023ae4d324290da6a1ceef01dc68dd3e56eb4079ac4133e561efacc4
BLAKE2b-256 checksum
How to use checksums
b572a595269482cf3e0ddff62768fa932cf1c524a92b9c80d657810d37f0257d
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
Yes
Uploaded via twine/6.1.0 CPython/3.13.7

Provenance

Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.

PyPI Publish Attestation

PyPI verified that this artifact, at this checksum, originated from the publisher listed below.

Signed by GitHub Actions, verified by PyPI on Dec 23, 2025.

Transparency log

Release history Release notifications | RSS feed

This release

1.0.0 This release

2 release files

0.8.2

2 release files

0.8.1

2 release files

0.8.0

2 release files

0.7.1

2 release files

0.7.0

2 release files

0.6.0

2 release files

0.5.0

2 release files

0.4.1

2 release files

0.3.1

2 release files

0.3.0

2 release files

0.2.2

2 release files

0.2.1

2 release files

0.2.0

2 release files

0.1.0

2 release files

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page