I built Crux after watching coding agents waste context navigating large repos