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

0.1.152

0.1.151

0.1.150

This version

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.149-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.149-py3-none-manylinux_2_17_aarch64.whl (7.7 MB view details)

Uploaded Python 3manylinux: glibc 2.17+ ARM64

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

Uploaded Python 3macOS 11.0+ ARM64

agentic_proofkit-0.1.149-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.149-py3-none-manylinux_2_17_x86_64.whl.

File metadata

File hashes

Hashes for agentic_proofkit-0.1.149-py3-none-manylinux_2_17_x86_64.whl
Algorithm Hash digest
SHA256 709a2ff98f1fa330cc1d309a7ecdc87d3c3af20ac8d24f0ed5ab8cdd2c8b0078
MD5 ab714529fdcaf979d432f8afaa9f4219
BLAKE2b-256 b331d6e62513945f8a182df50fdf5d849dc855bc50d6e6f9c887fab9d837c79d

See more details on using hashes here.

Provenance

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

File metadata

File hashes

Hashes for agentic_proofkit-0.1.149-py3-none-manylinux_2_17_aarch64.whl
Algorithm Hash digest
SHA256 83fce9da5d0f92ba3b363498384176e764254f8684889042a5148395718d5f02
MD5 d9d939bee08540d341482ecb39cc2d5d
BLAKE2b-256 7e34f7f020dd3a33f7b54fbb98d38044f209522a26598124f936ffbfe5282084

See more details on using hashes here.

Provenance

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

File metadata

File hashes

Hashes for agentic_proofkit-0.1.149-py3-none-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 72bfc0837be0f6b23ffcef49acdac2894441be5926ec2f2e26eed0092634cfbe
MD5 51b08cd2a3043665062edfa725f5f848
BLAKE2b-256 a5b01122336f2814b41b338912ba07e4e68b9539f6757c703ac432eef7d817f1

See more details on using hashes here.

Provenance

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

File metadata

File hashes

Hashes for agentic_proofkit-0.1.149-py3-none-macosx_10_12_x86_64.whl
Algorithm Hash digest
SHA256 c523c8ef4f2e5925d9f6018207ef569ad0b4097e6ac799edd87eacd420207156
MD5 fea8ee8c68e7666cded1cb8aed7965d3
BLAKE2b-256 7acb8bdb86331ba3596c09e164b4d31611ef599e6548195589c830265e2383bb

See more details on using hashes here.

Provenance

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