Factual package intelligence from PyPI
Pre-deployment coordination feasibility checker for multi-agent AI systems. Backed by 2,433 formally verified theorems in Lean 4.
pip install cobound-validator
PyPI declares 5 unique dependency rules for this release. Environment markers are shown when supplied by the project.
cobound-validator publishes 1 wheel and 1 source archive for version 0.1.0. Wheel platform tags: any.
Declared Python classifiers: 3.10, 3.11, 3.12.
PyPI lists 1 release with files. The first dated release is ; 1 release falls within the 365 days preceding the latest dated release. The current release files were uploaded on .