Diano — the coding agent that verifies its work