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

Navigation

Verified details

These details have been verified by PyPI
Project links
GitHub Statistics
Maintainers
Avatar for w25x80 from gravatar.com w25x80

Unverified details

These details have not been verified by PyPI
Meta
  • License: MIT
  • Requires: Python >=3.9
Report project as malware

Project description

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

Project details

Verified details

These details have been verified by PyPI
Project links
GitHub Statistics
Maintainers
Avatar for w25x80 from gravatar.com w25x80

Unverified details

These details have not been verified by PyPI
Meta
  • License: MIT
  • Requires: Python >=3.9

Release history Release notifications | RSS feed

0.1.160

0.1.159 yanked

Reason this release was yanked:

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

0.1.158

This version

0.1.157

0.1.156

0.1.155

0.1.154

0.1.153

0.1.152

0.1.151

0.1.150

0.1.149

0.1.148

0.1.147

0.1.146

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.

agentic_proofkit-0.1.157-py3-none-manylinux_2_17_x86_64.whl (8.6 MB view details)

Uploaded Python 3manylinux: glibc 2.17+ x86-64

agentic_proofkit-0.1.157-py3-none-manylinux_2_17_aarch64.whl (7.8 MB view details)

Uploaded Python 3manylinux: glibc 2.17+ ARM64

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

Uploaded Python 3macOS 11.0+ ARM64

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

Uploaded Python 3macOS 10.12+ x86-64

File details

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

File metadata

File hashes

Hashes for agentic_proofkit-0.1.157-py3-none-manylinux_2_17_x86_64.whl
Algorithm Hash digest
SHA256 55967e9a5d0acab9f8da42567baec4f2df352dd54af20fe34bcc2f77b7fb21be
MD5 7ccfbd73a2a3fb438a42bce2cf5c3dc6
BLAKE2b-256 b12392c846c2e0d5dfa86f1c28b1d0a4d20aadddba7ef0273625be82614e1dfb

See more details on using hashes here.

Provenance

The following attestation bundles were made for agentic_proofkit-0.1.157-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.

File details

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

File metadata

File hashes

Hashes for agentic_proofkit-0.1.157-py3-none-manylinux_2_17_aarch64.whl
Algorithm Hash digest
SHA256 8e40b3cbf1d8cdc74b342ac538bb215e9cc8e8166a57df50997a07b5d45d4751
MD5 708aa72bea25ff6818cb5ea21809f63e
BLAKE2b-256 ec87969733444af39dc6c19222ef6deeebde311b9c5a933d87809554687d4e7a

See more details on using hashes here.

Provenance

The following attestation bundles were made for agentic_proofkit-0.1.157-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.

File details

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

File metadata

File hashes

Hashes for agentic_proofkit-0.1.157-py3-none-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 a0b946ab546daa98964921158f0c01e0d0ca8760b829013ac1d8975772c852db
MD5 09c6cf7291055eb2abec48e6796b609e
BLAKE2b-256 4e1a36ad822aacb20dc1dfe85624a98c5a18d08f1bff0aee42df9fa3f12d0736

See more details on using hashes here.

Provenance

The following attestation bundles were made for agentic_proofkit-0.1.157-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.

File details

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

File metadata

File hashes

Hashes for agentic_proofkit-0.1.157-py3-none-macosx_10_12_x86_64.whl
Algorithm Hash digest
SHA256 be485d1412d11f5bdd4a87b4a27dc241ecaa123488ca0f219d6dcf641a9b50fe
MD5 3a2288ef92fb8a408cee57dabde9d7d6
BLAKE2b-256 21a612ccb52d771a50035c4211ac54910ff083db555e65efd78c4a2cd8df86eb

See more details on using hashes here.

Provenance

The following attestation bundles were made for agentic_proofkit-0.1.157-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.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page