agentic-proofkit

PyPI

Reusable proof profile, report, graph, and witness-planning primitives.

Versions collected1

Direct dependencies0From release 0.16.0

Last observed20 Oct, 22:20 UTC

README

Version 0.16.0 documentation

Package-manager wrapper for the agentic-proofkit Go CLI.

Awaiting observations

Download counts and popularity will appear here as the collector receives them.

Collected releases

Version	Published	Direct dependencies	Open version
0.16.0	24 Sept 2026	0

No matching advisories collected

This describes our collected data; it is not a security assessment.

PENDING

Shared repository data · GitHub

Meaningful changes

Current collected state Current

Observed since 20 Oct, 22:20 UTC

No superseded metadata states collected. Unchanged observations do not create new revisions.

package:6ee3002339be4f93c0c8a2af70a75e0be0a782ab8ba21fb4c0b48d2d426ab242