formal-ai CLI

The command-line interface to formal-ai.

Install with Cargo: cargo install formal-ai
One-line installer (macOS/Linux): curl -fsSL https://raw.githubusercontent.com/link-assistant/formal-ai/main/scripts/install.sh | sh -s -- cli
Run formal-ai --help to get started.
All downloads