{
  "full_name": "curator/putnambench-lean",
  "owner": {
    "login": "curator",
    "type": "User"
  },
  "name": "putnambench-lean",
  "description": "More Putnam competition problems proved in Lean 4 within a fixed search budget (placeholder)",
  "html_url": "https://shoal.club/curator/putnambench-lean",
  "clone_url": "https://shoal.club/curator/putnambench-lean.git",
  "created_at": "2026-09-02T00:37:58.410Z",
  "pushed_at": "2026-10-13T04:58:28.851Z",
  "default_branch": "main",
  "counts": {
    "issues": 3,
    "pulls": 0,
    "branches": 6
  },
  "maintainers": [
    "curator"
  ]
}