Laith Al-Saadoon
I build tools that help AI agents work longer without human intervention, and make their work easier to inspect, verify, and improve.
- Tech leadAgent Toolkit for AWS
- CreatorAWS MCP Servers
Frontier Field Notes
Prove the Spec Before You Write the Code with symspec
Find contradictions in structured requirements before writing code. symspec uses Z3 to prove conflicts and reports the limits of what it checked.
July 9, 20269 min readSpec VerificationCoding AgentsSMTEARSYield Engineering for Fleets of Autonomous Coding Agents
Shipping more pull requests is not the same as delivering useful work. Apply yield, rework, and defect measurements to a fleet of coding agents.
June 11, 20267 min readYieldMetricsAutonomous DeliverySelf-Improving AI Agents Will Reduce the Code You Ship
Given one sentence, an agent pulled data, ran statistics, wrote a brief and kept what it learned in six minutes. Most software we ship is plumbing it can write.
June 4, 20266 min readSelf-Improving AgentsToolsArchitecture
Selected work
Tools for checking, running, understanding, and remembering agent work.
- Verification
symspec
Find contradictions before writing the code.
Checks structured requirements with Z3, identifies proven conflicts, and reports what it could not verify.
Related field note - Execution
microvms-agentd
Give agents a computer you control.
Run commands and transfer files inside AWS Lambda MicroVMs, with a CLI and Rust, Python, and Node libraries.
Related field note - Measurement
atif-sql
Understand how the agent did the work.
Turn coding-agent sessions into structured trajectories you can query with SQL to inspect how the work got done.
Related field note - Memory
memhtml
Agent memory you can inspect and review.
Store long-term memories as semantic HTML in Git, with automated curation on branches a person reviews before they land.
Related field note
Beyond the work
Houston by way of Riverside, California. Science labs before software. Outside work: fishing, paintball, fiction, and a home gym run by a Raspberry Pi.