Context infrastructure for coding agents