A benchmark for tracking frontier model performance changes over time after release

Compile agent policy prose into deterministic verdict programs: narrow evidence questions for the model, the verdict computed in code.

A digital envelope for securely delivering letters and secrets to family after death

A self-hosted compiler that verifies its own bootstrap, deterministic error handling, and built-in LoRA fine-tuning via Joey.