https://pypi.org/project/darm-guard/ Recent updates to the Python Package Index for darm-guard en https://pypi.org/project/darm-guard/0.8.2/ Agent tool-authorization guard grounded in a machine-checked Lean 4 theory Thu, 24 Sep 2026 23:51:13 GMT https://pypi.org/project/darm-guard/0.8.1/ Agent tool-authorization guard grounded in a machine-checked Lean 4 theory Thu, 24 Sep 2026 20:48:29 GMT https://pypi.org/project/darm-guard/0.8.0/ Agent tool-authorization guard grounded in a machine-checked Lean 4 theory Thu, 24 Sep 2026 17:58:43 GMT https://pypi.org/project/darm-guard/0.7.1/ Agent tool-authorization guard grounded in a machine-checked Lean 4 theory Thu, 24 Sep 2026 08:44:54 GMT https://pypi.org/project/darm-guard/0.7.0/ Agent tool-authorization guard grounded in a machine-checked Lean 4 theory Wed, 23 Sep 2026 22:01:47 GMT https://pypi.org/project/darm-guard/0.6.0/ Agent tool-authorization guard grounded in a machine-checked Lean 4 theory Wed, 23 Sep 2026 20:58:03 GMT https://pypi.org/project/darm-guard/0.5.0/ Agent tool-authorization guard grounded in a machine-checked Lean 4 theory Wed, 23 Sep 2026 17:02:49 GMT https://pypi.org/project/darm-guard/0.4.0/ Agent tool-authorization guard grounded in a machine-checked Lean 4 theory Wed, 23 Sep 2026 13:08:26 GMT https://pypi.org/project/darm-guard/0.3.1/ Agent tool-authorization guard grounded in a machine-checked Lean 4 theory Tue, 22 Sep 2026 18:31:54 GMT https://pypi.org/project/darm-guard/0.1.1/ Agent tool-authorization guard grounded in a machine-checked Lean 4 theory Tue, 22 Sep 2026 00:06:48 GMT https://pypi.org/project/darm-guard/0.1.0/ Formally verified agent tool-authorization governance Sun, 20 Sep 2026 07:00:06 GMT