Getting Started

Getting Started

Prerequisites

• Elixir + Erlang (required)
• Rust toolchain (required)
• Idris2 + Zig (optional, for ABI/FFI layers)

Quick Setup

git clone https://github.com/hyperpolymath/hypatia.git
cd hypatia
./setup.sh        # or: just setup
just doctor       # verify tools
just build-all    # build everything

First Scan

just scan /path/to/repo

Configuration

Hypatia is configured via fleet-config.k9.ncl (Nickel). Key settings:

• Severity thresholds
• Fleet coordinator endpoint
• Learning loop parameters

Run just tour for a guided walkthrough.