Installation

Requirements

• An ImandraX API key (set as IMANDRA_UNI_KEY environment variable)

Install via curl

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

Python 3.13 will be installed.

Install via pip

Additional requirement: Python 3.12 or later

pip install speclogician

Or with uv:

uv pip install speclogician

Verify installation

speclogician --help
speclogician version

Environment setup

Set your ImandraX API key:

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.