Output Formats

Choose human, JSON, TOON, or counterexample output for the job. Make verifier results readable by people and useful to tools.

Human-Readable Output

Default colored terminal output for interactive use.

Machine-readable structured diagnostics for tooling integration.

Concrete failing values that show why verification failed.

LLM-friendly output format for AI-assisted debugging.