agent\_logic.cli ================ .. automodule:: agent_logic.cli .. rubric:: Functions .. autosummary:: main parse_args validate_proof