Add your description here

Project description

ImandraX Tools

Common utilities for interacting with ImandraX / IML, for both humans and LLMs.

Umbrella package that

bundles
- iml-query
- imandrax-api-models
provides Python binding for goal-state Rust crate

Project details

Release history Release notifications | RSS feed

This version

0.2.0

Apr 1, 2026

0.1.0

Nov 17, 2025

Download files

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

Source Distribution

imandrax_tools-0.2.0.tar.gz (109.5 kB view details)

Uploaded Apr 1, 2026 Source

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.

imandrax_tools-0.2.0-cp312-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (670.6 kB view details)

Uploaded Apr 1, 2026 CPython 3.12+manylinux: glibc 2.17+ x86-64

imandrax_tools-0.2.0-cp312-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (624.6 kB view details)

Uploaded Apr 1, 2026 CPython 3.12+manylinux: glibc 2.17+ ARM64

imandrax_tools-0.2.0-cp312-abi3-macosx_11_0_arm64.whl (517.2 kB view details)

Uploaded Apr 1, 2026 CPython 3.12+macOS 11.0+ ARM64

File details

Details for the file imandrax_tools-0.2.0.tar.gz.

File metadata

Download URL: imandrax_tools-0.2.0.tar.gz
Upload date: Apr 1, 2026
Size: 109.5 kB
Tags: Source
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for imandrax_tools-0.2.0.tar.gz
Algorithm	Hash digest
SHA256	`13c536bf8640e4a0f32bc9b8426d3f8b07c39c4f392b956adcaec37dad278bd9`
MD5	`677281ca039aaba88047bce340126f8e`
BLAKE2b-256	`ce9c0ad700407ce82dffaeafb897c8df20bc3f17a57d323b6faf69dad3761317`

See more details on using hashes here.

Provenance

The following attestation bundles were made for imandrax_tools-0.2.0.tar.gz:

Publisher: release-tools.yml on imandra-ai/imandrax-tools

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: imandrax_tools-0.2.0.tar.gz
- Subject digest: 13c536bf8640e4a0f32bc9b8426d3f8b07c39c4f392b956adcaec37dad278bd9
- Sigstore transparency entry: 1205779802
- Sigstore integration time: Apr 1, 2026
Source repository:
- Permalink: imandra-ai/imandrax-tools@c5aabeeb315dd477285b81041ba6cf45ba83043b
- Branch / Tag: refs/heads/hy/fix-pyo3-ci
- Owner: https://github.com/imandra-ai
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release-tools.yml@c5aabeeb315dd477285b81041ba6cf45ba83043b
- Trigger Event: workflow_dispatch

File details

Details for the file imandrax_tools-0.2.0-cp312-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

Download URL: imandrax_tools-0.2.0-cp312-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Upload date: Apr 1, 2026
Size: 670.6 kB
Tags: CPython 3.12+, manylinux: glibc 2.17+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for imandrax_tools-0.2.0-cp312-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`9cfa1983956a1daa80ff889a17b3bc9f5385b48ae358cd569b332c34e1bde5ae`
MD5	`bd2fb8155d2134dd21c4aa55cad8ace9`
BLAKE2b-256	`262a52bae8fe2b43d208161e4466b61cd34d6f50b93f1ecb744cba3ec7b4cc0b`

See more details on using hashes here.

Provenance

The following attestation bundles were made for imandrax_tools-0.2.0-cp312-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl:

Publisher: release-tools.yml on imandra-ai/imandrax-tools

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: imandrax_tools-0.2.0-cp312-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
- Subject digest: 9cfa1983956a1daa80ff889a17b3bc9f5385b48ae358cd569b332c34e1bde5ae
- Sigstore transparency entry: 1205779814
- Sigstore integration time: Apr 1, 2026
Source repository:
- Permalink: imandra-ai/imandrax-tools@c5aabeeb315dd477285b81041ba6cf45ba83043b
- Branch / Tag: refs/heads/hy/fix-pyo3-ci
- Owner: https://github.com/imandra-ai
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release-tools.yml@c5aabeeb315dd477285b81041ba6cf45ba83043b
- Trigger Event: workflow_dispatch

File details

Details for the file imandrax_tools-0.2.0-cp312-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

Download URL: imandrax_tools-0.2.0-cp312-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Upload date: Apr 1, 2026
Size: 624.6 kB
Tags: CPython 3.12+, manylinux: glibc 2.17+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for imandrax_tools-0.2.0-cp312-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm	Hash digest
SHA256	`6897bab5cfbaf64380dd580190f596106acbe3f021aff0abd1700b4fd75fe4df`
MD5	`e1983f6ef8348a2ff6fba37a8e1d9a7d`
BLAKE2b-256	`cab28d1a36c12f5cb307f711ae47a687a9021b23557f55bf430580b1ab42b7dc`

See more details on using hashes here.

Provenance

The following attestation bundles were made for imandrax_tools-0.2.0-cp312-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl:

Publisher: release-tools.yml on imandra-ai/imandrax-tools

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: imandrax_tools-0.2.0-cp312-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
- Subject digest: 6897bab5cfbaf64380dd580190f596106acbe3f021aff0abd1700b4fd75fe4df
- Sigstore transparency entry: 1205779804
- Sigstore integration time: Apr 1, 2026
Source repository:
- Permalink: imandra-ai/imandrax-tools@c5aabeeb315dd477285b81041ba6cf45ba83043b
- Branch / Tag: refs/heads/hy/fix-pyo3-ci
- Owner: https://github.com/imandra-ai
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release-tools.yml@c5aabeeb315dd477285b81041ba6cf45ba83043b
- Trigger Event: workflow_dispatch

File details

Details for the file imandrax_tools-0.2.0-cp312-abi3-macosx_11_0_arm64.whl.

File metadata

Download URL: imandrax_tools-0.2.0-cp312-abi3-macosx_11_0_arm64.whl
Upload date: Apr 1, 2026
Size: 517.2 kB
Tags: CPython 3.12+, macOS 11.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for imandrax_tools-0.2.0-cp312-abi3-macosx_11_0_arm64.whl
Algorithm	Hash digest
SHA256	`c4aaf8f701b0d34a33a49cd9e2e4917fee6f0fa56fe46cba4e54c6448d9c3f10`
MD5	`697b7aed8bbef1b6ea979b61bb17e3ef`
BLAKE2b-256	`b58021b57c5b4bc0c585b8d251228052c2c73271befbcfe1758ef88b1b33fa0e`

See more details on using hashes here.

Provenance

The following attestation bundles were made for imandrax_tools-0.2.0-cp312-abi3-macosx_11_0_arm64.whl:

Publisher: release-tools.yml on imandra-ai/imandrax-tools

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: imandrax_tools-0.2.0-cp312-abi3-macosx_11_0_arm64.whl
- Subject digest: c4aaf8f701b0d34a33a49cd9e2e4917fee6f0fa56fe46cba4e54c6448d9c3f10
- Sigstore transparency entry: 1205779807
- Sigstore integration time: Apr 1, 2026
Source repository:
- Permalink: imandra-ai/imandrax-tools@c5aabeeb315dd477285b81041ba6cf45ba83043b
- Branch / Tag: refs/heads/hy/fix-pyo3-ci
- Owner: https://github.com/imandra-ai
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release-tools.yml@c5aabeeb315dd477285b81041ba6cf45ba83043b
- Trigger Event: workflow_dispatch

imandrax-tools 0.2.0

Navigation

Verified details

Maintainers

Unverified details

Meta

Project description

ImandraX Tools

Project details

Verified details

Maintainers

Unverified details

Meta

Release history Release notifications | RSS feed

Download files

Source Distribution

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