Evidence-backed repository memory and verifiable Skills for coding agents.