Members-Only
Recent Talks & Demos are for members only
You must be an AI Tinkerers active member to view these talks and demos.
December 09, 2025
·
Seattle
Verify AI Agent Code Traces
This talk details an AST-patching framework for capturing execution traces from AI code generation tools, providing essential verification between generation and merging.
Overview
When AI agents write code, you need verification beyond “it compiled.” The tool is an AST-patching instrumentation framework that captures execution traces from AI agents (Claude Code, Cursor, Aider, GPT-OSS, etc.) generating real code changes.
Tech stack