On context management in long-running agents

Deep in agent-toolkit context management — separating fetch / synthesis / execution is harder than it sounds

Why I think about software architecture like music theory

Published a post on software architecture and music theory

agent-toolkit

Finished ai-code-audit MVP — multi-agent code review actually works

Reading about Lean 4 and dependent types. Formal verification feels increasingly practical