agentic-proofkit 0.16.0T1Covered by 1 source · first reported by PyPI / crates.io / RubyGems / Go index / NuGet at 24 Sept, 22:13 UTCReusable proof profile, report, graph, and witness-planning primitives.releasesSourcesT1agentic-proofkit 0.16.0PyPI / crates.io / RubyGems / Go index / NuGet24 Sept, 22:13