agentic-proofkit

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

These details have been verified by PyPI

Project links

Source

GitHub Statistics

Maintainers

w25x80

Project description

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

Project details

These details have been verified by PyPI

Project links

Source

GitHub Statistics

Maintainers

w25x80

Release history Release notifications | RSS feed

0.1.160

Jul 13, 2026

0.1.159 yanked

Jul 13, 2026

Reason this release was yanked:

Inaccurate macOS compatibility tags and incomplete MIT license payload; use 0.1.160 or later.

0.1.158

Jul 12, 2026

0.1.157

Jul 11, 2026

0.1.156

Jul 11, 2026

0.1.155

Jul 9, 2026

0.1.154

Jul 9, 2026

0.1.153

Jul 8, 2026

0.1.152

Jul 8, 2026

0.1.151

Jul 8, 2026

This version

0.1.150

Jul 8, 2026

0.1.149

Jul 8, 2026

0.1.148

Jul 8, 2026

0.1.147

Jul 8, 2026

0.1.146

Jul 4, 2026

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distributions

No source distribution files available for this release.See tutorial on generating distribution archives.

Built Distributions

If you're not sure about the file name format, learn more about wheel file names.

The dropdown lists show the available interpreters, ABIs, and platforms. Enable javascript to be able to filter the list of wheel files.

agentic_proofkit-0.1.150-py3-none-manylinux_2_17_x86_64.whl (8.5 MB view details)

Uploaded Jul 8, 2026 Python 3manylinux: glibc 2.17+ x86-64

agentic_proofkit-0.1.150-py3-none-manylinux_2_17_aarch64.whl (7.7 MB view details)

Uploaded Jul 8, 2026 Python 3manylinux: glibc 2.17+ ARM64

agentic_proofkit-0.1.150-py3-none-macosx_11_0_arm64.whl (8.2 MB view details)

Uploaded Jul 8, 2026 Python 3macOS 11.0+ ARM64

agentic_proofkit-0.1.150-py3-none-macosx_10_12_x86_64.whl (8.8 MB view details)

Uploaded Jul 8, 2026 Python 3macOS 10.12+ x86-64

File details

Details for the file agentic_proofkit-0.1.150-py3-none-manylinux_2_17_x86_64.whl.

File metadata

Download URL: agentic_proofkit-0.1.150-py3-none-manylinux_2_17_x86_64.whl
Upload date: Jul 8, 2026
Size: 8.5 MB
Tags: Python 3, manylinux: glibc 2.17+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.13

File hashes

Hashes for agentic_proofkit-0.1.150-py3-none-manylinux_2_17_x86_64.whl
Algorithm	Hash digest
SHA256	`523c61b6cc93f525bbdd0948dfa149e599cee6e79f98b43d971250e5f96a8ee0`
MD5	`22571e8313a03519f3c4893de8f44727`
BLAKE2b-256	`b69a2bbe768a2ac3f13f36b81808e3859a9790bdc64dcf4d263c87834ff5d88b`

See more details on using hashes here.

Provenance

The following attestation bundles were made for agentic_proofkit-0.1.150-py3-none-manylinux_2_17_x86_64.whl:

Publisher: release.yml on research-engineering/agentic-proofkit

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: agentic_proofkit-0.1.150-py3-none-manylinux_2_17_x86_64.whl
- Subject digest: 523c61b6cc93f525bbdd0948dfa149e599cee6e79f98b43d971250e5f96a8ee0
- Sigstore transparency entry: 2118376974
- Sigstore integration time: Jul 8, 2026
Source repository:
- Permalink: research-engineering/agentic-proofkit@3bc87659655249991a10aafa0c2df0bf20469a5a
- Branch / Tag: refs/tags/v0.1.150
- Owner: https://github.com/research-engineering
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@3bc87659655249991a10aafa0c2df0bf20469a5a
- Trigger Event: push

File details

Details for the file agentic_proofkit-0.1.150-py3-none-manylinux_2_17_aarch64.whl.

File metadata

Download URL: agentic_proofkit-0.1.150-py3-none-manylinux_2_17_aarch64.whl
Upload date: Jul 8, 2026
Size: 7.7 MB
Tags: Python 3, manylinux: glibc 2.17+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.13

File hashes

Hashes for agentic_proofkit-0.1.150-py3-none-manylinux_2_17_aarch64.whl
Algorithm	Hash digest
SHA256	`cbc7414c986f0a1e2d06e50070d228fd6c6dfb85652c5c5d414354f5576ff051`
MD5	`b3c85a77f538cd51f2ec07fc65bca37e`
BLAKE2b-256	`fa22e83305424bedb60496e632e71e3d1963eed034965df4080227426861293b`

See more details on using hashes here.

Provenance

The following attestation bundles were made for agentic_proofkit-0.1.150-py3-none-manylinux_2_17_aarch64.whl:

Publisher: release.yml on research-engineering/agentic-proofkit

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: agentic_proofkit-0.1.150-py3-none-manylinux_2_17_aarch64.whl
- Subject digest: cbc7414c986f0a1e2d06e50070d228fd6c6dfb85652c5c5d414354f5576ff051
- Sigstore transparency entry: 2118377029
- Sigstore integration time: Jul 8, 2026
Source repository:
- Permalink: research-engineering/agentic-proofkit@3bc87659655249991a10aafa0c2df0bf20469a5a
- Branch / Tag: refs/tags/v0.1.150
- Owner: https://github.com/research-engineering
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@3bc87659655249991a10aafa0c2df0bf20469a5a
- Trigger Event: push

File details

Details for the file agentic_proofkit-0.1.150-py3-none-macosx_11_0_arm64.whl.

File metadata

Download URL: agentic_proofkit-0.1.150-py3-none-macosx_11_0_arm64.whl
Upload date: Jul 8, 2026
Size: 8.2 MB
Tags: Python 3, macOS 11.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.13

File hashes

Hashes for agentic_proofkit-0.1.150-py3-none-macosx_11_0_arm64.whl
Algorithm	Hash digest
SHA256	`2744f28725ae01cfe9d1e5e3867e22a6a969459942be9c476cf4b03a187fbb04`
MD5	`4464923f3f4a3ad3c1cecc2f18d0916a`
BLAKE2b-256	`a5ddf24c071cd090026608fc5f8b10e64ac057caa13be8b983d047b8b38d3c2f`

See more details on using hashes here.

Provenance

The following attestation bundles were made for agentic_proofkit-0.1.150-py3-none-macosx_11_0_arm64.whl:

Publisher: release.yml on research-engineering/agentic-proofkit

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: agentic_proofkit-0.1.150-py3-none-macosx_11_0_arm64.whl
- Subject digest: 2744f28725ae01cfe9d1e5e3867e22a6a969459942be9c476cf4b03a187fbb04
- Sigstore transparency entry: 2118377134
- Sigstore integration time: Jul 8, 2026
Source repository:
- Permalink: research-engineering/agentic-proofkit@3bc87659655249991a10aafa0c2df0bf20469a5a
- Branch / Tag: refs/tags/v0.1.150
- Owner: https://github.com/research-engineering
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@3bc87659655249991a10aafa0c2df0bf20469a5a
- Trigger Event: push

File details

Details for the file agentic_proofkit-0.1.150-py3-none-macosx_10_12_x86_64.whl.

File metadata

Download URL: agentic_proofkit-0.1.150-py3-none-macosx_10_12_x86_64.whl
Upload date: Jul 8, 2026
Size: 8.8 MB
Tags: Python 3, macOS 10.12+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.13

File hashes

Hashes for agentic_proofkit-0.1.150-py3-none-macosx_10_12_x86_64.whl
Algorithm	Hash digest
SHA256	`61bca50d5bd34a2c826496b08be2f1e03dc501cd201a65ce146cc19b319f2a80`
MD5	`745e46829122033c6d81c0e981191231`
BLAKE2b-256	`327bd500eb74437e6222e608d0126ebc98eebae415188dddbdab3e1f5219ecdc`

See more details on using hashes here.

Provenance

The following attestation bundles were made for agentic_proofkit-0.1.150-py3-none-macosx_10_12_x86_64.whl:

Publisher: release.yml on research-engineering/agentic-proofkit

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: agentic_proofkit-0.1.150-py3-none-macosx_10_12_x86_64.whl
- Subject digest: 61bca50d5bd34a2c826496b08be2f1e03dc501cd201a65ce146cc19b319f2a80
- Sigstore transparency entry: 2118377082
- Sigstore integration time: Jul 8, 2026
Source repository:
- Permalink: research-engineering/agentic-proofkit@3bc87659655249991a10aafa0c2df0bf20469a5a
- Branch / Tag: refs/tags/v0.1.150
- Owner: https://github.com/research-engineering
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@3bc87659655249991a10aafa0c2df0bf20469a5a
- Trigger Event: push

agentic-proofkit 0.1.150

Navigation

Verified details

Project links

GitHub Statistics

Maintainers

Unverified details

Meta

Project description

Project details

Verified details

Project links

GitHub Statistics

Maintainers

Unverified details

Meta

Release history Release notifications | RSS feed

Download files

Source Distributions

Built Distributions

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance