Install Thirsty-Lang
The official toolchain for the Thirsty-Lang governance language. Install with pip and evaluate programs from the thirsty CLI.
One command gets you the interpreter, the checker, the Shadow → Canonical compiler, the thirsty CLI, and the tarl policy engine.
$ pip install thirsty-lang==0.9.0$ thirsty run hello.thirstyLive now: package thirsty-lang on PyPI (Thirsty-Lang v0.9.0), with the thirsty and tarl CLIs. Requires Python 3.11+. License Apache-2.0 · Thirsty's Projects LLC. Source on GitHub.
Installation methods
The reference toolchain ships as a Python package. Installs the `thirsty` CLI, the T.A.R.L. policy engine (`tarl`), and the higher-tier tools.
$ pip install thirsty-langLive on PyPI. Requires Python 3.11+.
$ pip install thirsty-lang==0.9.0Pin the verified PyPI release.
$ thirsty run hello.thirstyEvaluate a program.
Install the CLIs in an isolated environment so they never collide with project dependencies.
$ pipx install thirsty-langIsolated, globally-available `thirsty` + `tarl`.
$ thirsty --helpList commands.
Build from the official repository — pinned interpreter, full test suite, and the formal-tools (TLA+, Alloy) used for verification.
$ git clone https://github.com/IAmSoThirsty/Thirsty-lang.gitClone the source.
$ cd Thirsty-langEnter the checkout.
$ git checkout b09bbfc3dda4654cca2e9872423460667eed9498Use the reviewed Python release; the default branch may be older.
$ pip install -e .Editable install.
$ python -m pytest tests/ -qRun the validation suite.
module hello: core
glass greet(name) {
return "hello, " + name + "!"
}
pour greet("governed world")Your first program
Save the program as hello.thirsty and evaluate it. This core-mode example prints a greeting. Governed effects additionally require policy and authority; durable audit recording must be explicitly configured.
$ thirsty run hello.thirstyhello, governed world!
CLI reference
The thirsty command is the entry point for the whole toolchain.
| Command | Description |
|---|---|
| thirsty run <file.thirsty> | Run a core or governed program according to its declared mode. |
| thirsty fmt <file.thirsty> | Format source to the canonical style. |
| thirsty build <file> --target js | Build to a JS target (or wasm-pyodide). |
| thirsty prove <file> --policy p.tarl --emit-manifest | Static proof-obligation report — no side effects executed. |
| thirsty explain-denial <file> --policy p.tarl | Machine-readable explanation of missing policy, context, authority, or proof. |
| thirsty govern <file> | Run under the governed execution path. |
| tarl eval <policy.tarl> --context '{"role":"admin"}' | Evaluate a T.A.R.L. policy against a context. |
| tarl verify <proof.json> --ed25519-only | Verify a proof certificate (rejects unsigned by default). |
| tarl audit verify-chain <audit.db> | Verify the hash-linked audit chain. |
The 6-tier governance model
The Universal Thirsty Family has six language and tooling layers: Thirsty-Lang, Thirst of Gods, T.A.R.L., Shadow Thirst, TSCG, and TSCG-B. These are distinct from Project-AI authority classes.
Lexer, parser, checker, interpreter, formatter, CLI, module system, JS build target, contracts, core syntax.
Object-oriented, async (cascade), and structured-error validation over the real AST.
Policy-as-code, proof-carrying dispositions, temporal rules, composition, audit hooks.
Mutation analysis, determinism checks, plane isolation, purity, promotion blocking.
Symbolic constraint grammar with canonicalized constraint expressions.
Binary frame protocol with CRC32 and SHA-256 integrity checks.
- Python 3.11+ for the pip/pipx toolchain. Package metadata classifies it as Alpha.
- The browser playground runs a teaching subset with no install required; it does not execute the Python package.
- LIVE The packaged toolchain is published on PyPI at v0.9.0. Container availability must be checked separately; no matching container release is claimed here.