aterm

aterm is a terminal written by ALab AI for AI using the Trust compiler toolchain. It serves as a cross-platform distributed operating system, human interface, and distribution channel for AI and the ALab compilers, solvers, provers, and agents.

Install

Download aterm for macOS

aterm-0.75.0.dmg · 29 MB · macOS 11+ · aterm in your browser · github.com/alabsystems/aterm

On first launch, aterm installs the ALab compiler toolchain.

Homebrew

brew install --cask alabsystems/tap/aterm

The same app; updates stay with aterm’s own verified updater.

verify & source

App releases ship .sha256 sidecars and Ed25519-signed update manifests; source releases carry a machine-signed SHA256SUMS + SHA256SUMS.sig: verify a download · release signing · build from source · release notes · Apache-2.0.