TIRx Harness
An Open Compiler Harness for Agentic GPU Programming
Get Started | Documentation | Book | Blogpost
Overview
TIRx Harness is a compiler harness combining a minimal stable compiler foundation, a knowledge base, tools, and a benchmark server to help agents develop correct, fast GPU kernels.
TIRx Harness brings together:
- TIRx-lite for kernel authoring: a domain-specific language over the TIRx intermediate representation.
- Compiler analysis: check synchronization, memory races, and numerical behavior; inspect compiler output and generated GPU instructions.
- kcoral for remote execution: keep your agent on one machine and run GPU work on another.
Skills guide the agent in using them, while workload contracts define correctness and performance.
Get Started
Install the released package from PyPI:
python -m pip install tirx-harness
To develop the harness, follow Build from source for the build prerequisites, repository checkout, and native submodule setup.
See the documentation for details:
- Installation: prerequisites, other installation methods, and agent skills
- Quick Start: optimize a kernel in your own project
- Optimization Runs: run a registered workload
The book Agentic GPU Programming for MLSys explains the design behind the harness and walks through an optimization workflow.
Contributing
- Add a workload: define a new optimization task
- Contribute a kernel: publish a kernel produced by a run
- Report and fix bugs: reproduce and resolve a defect
Release files for tirx-harness 0.1.2.post1
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| tirx_harness-0.1.2.post1.tar.gz | 13.7 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| tirx_harness-0.1.2.post1-cp312-abi3-manylinux_2_28_x86_64.whl | CPython 3.12 | abi3 | Linux glibc 2.28+ x86-64 | Details |
| tirx_harness-0.1.2.post1-cp312-abi3-manylinux_2_28_aarch64.whl | CPython 3.12 | abi3 | Linux glibc 2.28+ ARM64 | Details |
Total release size: 24.6 MB
Release files / tirx_harness-0.1.2.post1.tar.gz
| Download URL | tirx_harness-0.1.2.post1.tar.gz |
|---|---|
| Size | 13.7 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
bdfa6c4838ec11382ec527d0ebf4b3ca1a4b021d95c4c17d87aab8f344777c09
|
|
BLAKE2b-256 checksum How to use checksums |
a67ba5bf65bfa11ba0a15d74c8eca370e77efa23c12593e25c595763571f583d
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / tirx_harness-0.1.2.post1-cp312-abi3-manylinux_2_28_x86_64.whl
| Download URL | tirx_harness-0.1.2.post1-cp312-abi3-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 5.5 MB |
| Tags | CPython 3.12 Linux glibc 2.28+ x86-64 abi3 |
|
SHA-256 checksum How to use checksums |
63444be1be5f2bb8e848e711b1d7a29b6857faff7381eacf0843e2e474348e2d
|
|
BLAKE2b-256 checksum How to use checksums |
3b170463b1c31850aa3013d5c88c2e6a0b3b55e7179338c88f8f14bf3c68fa6d
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Release files / tirx_harness-0.1.2.post1-cp312-abi3-manylinux_2_28_aarch64.whl
| Download URL | tirx_harness-0.1.2.post1-cp312-abi3-manylinux_2_28_aarch64.whl |
|---|---|
| Size | 5.4 MB |
| Tags | CPython 3.12 Linux glibc 2.28+ ARM64 abi3 |
|
SHA-256 checksum How to use checksums |
50bd7bfbd41249a5698995db55105363d8d030e3586b491c02bfcd87d937b586
|
|
BLAKE2b-256 checksum How to use checksums |
807f253a46af1823e2fc5967b736cdbfbc29438f89f9227170e109d48dfeed13
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
