PyPI page
Author:
Olusanya Gbolahan V
Summary:
Runtime authorization for AI agents, decided by a kernel compiled from a machine-checked Lean 4 model
Latest version:
0.28.0
Required dependencies:
cryptography
Downloads last day:
20
Downloads last week:
163
Downloads last month:
3,766
7-day smoothing