[forge.commands]
proof = forge_proof.cli:register
