Kairos overview Installation Quick Start CLI Reference Script integration Docker Requirements

Kairos Documentation

CLI and script integration for verification of hardware and software.

Kairos overview

Kairos is a multi-agent verification engine for hardware and software. For RTL optimization, LLMs propose changes and formal tools prove or refute equivalence. Every accepted optimization carries formal proof and measured area reduction.

Installation

$ pip install athanor-sdk

Requires Python 3.10 or later. Licensed Docker images are provided during enterprise onboarding.

Quick Start

Install, set up your environment, then verify or optimize.

# First-run setup
$ kairos setup
$ kairos doctor

# Verify an RTL design (no LLM required)
$ kairos verify block.sv

# Optimize with formal equivalence proof (requires LLM API key)
$ kairos optimize block.sv

Accepted optimizations carry formal equivalence proof and measured area reduction.

CLI Reference

kairos verify Verify a design or codebase. Reports per-property PROVED / REFUTED / INCONCLUSIVE.
kairos optimize Propose area-reducing RTL optimizations with formal equivalence proof.
kairos repair Find and fix bugs. Diagnose issues, propose fixes, verify correctness.
kairos doctor Check your environment: dependencies, license, verification tools, models.
kairos setup First-run configuration wizard.
kairos mcp serve Start the MCP server for IDE agent integration (Claude Code, Kiro, Cursor).

Script integration

Integrate kairos into scripts via the CLI.

import subprocess, json

# Verify an RTL design
result = subprocess.run(
    ["kairos", "verify", "arbiter.sv", "--json"],
    capture_output=True, text=True,
)
verdict = json.loads(result.stdout)

# Inspect results
print(verdict["status"])     # proved / refuted / inconclusive
print(verdict["detail"])     # per-property breakdown

IDE Integration (MCP)

$ kairos mcp serve

Works with Claude Code, Kiro, Cursor, and any MCP-compatible IDE. Verification tools return machine-checked results directly in your editor.

Docker

# Docker image provided during enterprise onboarding
$ docker login ghcr.io
$ docker run --rm -v $PWD:/work kairos:latest verify /work/block.sv

The licensed Docker image includes the core RTL verification toolchain. Image access and deployment controls are provided during enterprise onboarding.

Requirements