{
  "preferred_language": "lean",
  "prover_address": "shentu1...",
  "agent_key_name": "agent-prover",
  "agent_address": "shentu1..."
}