cobound-validator

0.1.0

Pre-deployment coordination feasibility checker for multi-agent AI systems. Backed by 2,433 formally verified theorems in Lean 4.

License

MIT

Permissive - Unverified

A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code.

Published

March 4, 2026

76d ago

Package Registry

PyPI Source Homepage

README badge Customize →

License Sources

Source	License	Class
Licensie (detected)	Pending	-
PyPI (reported)	MIT	Permissive

License detection is still in progress for this version.

Loading dependencies…

Versions

1 version

Version	License	Published	Status
0.1.0 Latest Viewing	MIT (Unverified)	Mar 4, 2026	Pending