Coding agents built from scratch, and the harnesses that price each part of them. 12 projects, each with its code on GitHub.
A minimal coding agent built from scratch: agent loop, tools, skills, todos, permissions, sandbox, compaction, subagents. No framework, no SDK, CPU-friendly.
A coding-agent harness with every component switchable, and the ablation that prices each one.
A terminal coding agent whose evaluation harness replays every gold patch through the agent's own tools before a model sees a task.
Run N coding agents in parallel git worktrees behind a tested merge queue, and measure on real history what the parallelism costs.
A failing test to a verified patch - or an honest 'could not reproduce'. Measured: a traceback makes localisation harder, not easier.
A code reviewer that only reports what it can prove - and measures its precision against an LLM reviewer on labelled diffs
Mutation-gated codebase migration: it refuses the changes it cannot prove. AST + differential testing + local 14B model.
Among one-edit patches that pass the tests, "the smallest" depends on how you count size and break ties.
Browser-agent page encodings on 101 MiniWoB++ tasks: what each encoding throws away before a model ever reads it.
Run AI-generated code under named hardening profiles, then measure what each profile actually stops.
A cross-session memory layer for agents, and a measurement of what "remember everything and search" actually finds, question type by question type.
An agent runtime that enforces its own limits - cost, steps, time, loop detection, approval gates - and a chaos suite that proves it.