The web interface for Pi coding agent.