Installation

Requirements

An ImandraX API key — get one from Imandra Universe. You'll set it as the IMANDRA_UNI_KEY environment variable below.

The recommended way to install SpecLogician is via the one-line installer. It bootstraps uv if needed, installs SpecLogician into its own isolated Python 3.13 environment, and puts the speclogician binary on your PATH. No system Python required.

curl -fsSL speclogician.dev/speclogician/install.sh | sh

To pin a specific version: SPECLOGICIAN_VERSION=1.2.0 curl -fsSL speclogician.dev/speclogician/install.sh | sh.

Verify installation

speclogician --help
speclogician version

Environment setup

Set your ImandraX API key — sign in at Imandra Universe to issue one if you haven't already:

export IMANDRA_UNI_KEY="your-key-here"

Agent prompt

To generate the full agent instruction guide for use with LLM-powered tools:

speclogician prompt                    # output to stdout
speclogician prompt --out agent.md     # write to file

This produces a comprehensive guide that agents can follow to build specifications autonomously.

Alternative: install via pip

If you'd rather manage SpecLogician inside an existing Python environment, you can install it from PyPI directly. Requires Python 3.12 or later.

pip install speclogician

Or with uv:

uv pip install speclogician