Archymedes — a coding agent that shows its work