Engineering · ChipAgents
From an agent harness to chip verification.
Helped build the core CLI for semiconductor engineering, including long-horizon execution, tool integration, and context management. Later led the formal-verification product from concept through customer deployment and adoption.
