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

0.1.157

0.1.156

0.1.155

0.1.154

0.1.153

This version

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.152-py3-none-manylinux_2_17_x86_64.whl (8.5 MB view details)

Uploaded Python 3manylinux: glibc 2.17+ x86-64

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

Uploaded Python 3manylinux: glibc 2.17+ ARM64

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

Uploaded Python 3macOS 11.0+ ARM64

agentic_proofkit-0.1.152-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.152-py3-none-manylinux_2_17_x86_64.whl.

File metadata

File hashes

Hashes for agentic_proofkit-0.1.152-py3-none-manylinux_2_17_x86_64.whl
Algorithm Hash digest
SHA256 5c584b0dcdf5043be37747dcf417b465c54bd43d2cf2cb12b4450dae2fc2d703
MD5 423a6721c2095830017a707d43cd429a
BLAKE2b-256 ddefaf090a31d2e416ca0f733a5a5324228d8f0aa1bf55939dd2d057e7aeca67

See more details on using hashes here.

Provenance

The following attestation bundles were made for agentic_proofkit-0.1.152-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.152-py3-none-manylinux_2_17_aarch64.whl.

File metadata

File hashes

Hashes for agentic_proofkit-0.1.152-py3-none-manylinux_2_17_aarch64.whl
Algorithm Hash digest
SHA256 c5ce2abe7253205eab45af127de359cb6f2cfeb04ebf8fa4ff4c821d5c6eb2b6
MD5 cc27d7d08a03cd564d5cf5887228f9a0
BLAKE2b-256 a753279fc322211cf780dd629a29b866ccebb28c7b468d57bbe2f126790c995d

See more details on using hashes here.

Provenance

The following attestation bundles were made for agentic_proofkit-0.1.152-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.152-py3-none-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for agentic_proofkit-0.1.152-py3-none-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 ee3b2bbdf745aa6a9d1e15b5950ae0967e128843ff54fcd5dbaa1c31f6e7f49e
MD5 76f511124b2ab671e6037d91ddd731d9
BLAKE2b-256 256c8606aa064949c43ab6d6e11874e3faacf7500e106733b9af2d87e96d6c12

See more details on using hashes here.

Provenance

The following attestation bundles were made for agentic_proofkit-0.1.152-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.152-py3-none-macosx_10_12_x86_64.whl.

File metadata

File hashes

Hashes for agentic_proofkit-0.1.152-py3-none-macosx_10_12_x86_64.whl
Algorithm Hash digest
SHA256 51390c3d912ebedc2be08054e54a03674a2e7b6a2d8252d1cf5c63dcdbe34e9e
MD5 7dfd72e0de6b915964b1f79b9290691a
BLAKE2b-256 c90a4e5f200f0ee9eb0bab00adb83d170288f3fdacbc7510338ec8da8869e070

See more details on using hashes here.

Provenance

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