Install Tama

One command

curl -L https://tama.tools/install.sh | sh

The installer takes no flags. It detects your platform (linux-x86_64, linux-aarch64, macos-x86_64, macos-aarch64), fetches the latest signed manifest from the Tama GitHub Releases page, verifies the SHA-256 of the artifact it intends to install, and writes tama + tamaup into ~/.tama/bin. Add that directory to your PATH if it isn't already.

Switch versions

Once tamaup is installed, use it to install, switch, and remove specific Tama releases:

tamaup install 0.1.3      # install a specific release
tamaup use 0.1.3          # switch the active version
tamaup install nightly    # install the nightly channel
tamaup list               # show installed versions
tamaup self update        # update tamaup itself
tamaup uninstall          # remove tama (keeps tamaup)

What gets installed

• ~/.tama/bin/tama — shim or symlink to the active version.
• ~/.tama/bin/tamaup — version manager.
• ~/.tama/versions/<version>/bin/tama — the actual binary for each installed release.

External tools

Tama drives lake (Lean's build tool), the Verity Lean framework, solc, and forge. tamaup checks for compatible versions of lean/lake and forge on your PATH and offers to install them via elan and foundryup. Pass --no-install-lean or --no-install-foundry to opt out of the auto-install.

Inside a Tama project, the project's lean-toolchain file always wins — tamaup only provisions tools, it does not override your project pin.

Verify your install

tama --version
tama doctor

tama doctor prints the resolved versions of every external tool, the project's tama.toml resolution, and a drift report. If anything is missing or mismatched, it tells you exactly what to do.

Uninstall

tamaup uninstall          # removes tama, keeps tamaup
rm -rf ~/.tama            # removes everything