Issues

• TauCeti cache intermittently aborts submission evaluation

  leanprover/lean-eval-submissions#1894 · Filter by author Vilin97 opened on Oct 1, 2026

• OAuth callback returns 503 state_unavailable after successful GitHub authorization (reproducible, 2026-09-18 ~04:05–04:25 UTC)

  leanprover/lean-eval-submissions#1739 · Filter by author mlgraham opened on Sep 18, 2026
  1

• Kernel-heavy submissions: 360-min job with single-threaded nanoda replay caps decide +kernel work at ~10 CPU-h — is a larger budget or parallel replay possible?

  leanprover/lean-eval-submissions#1697 · Filter by author mlgraham opened on Sep 10, 2026
  1

• Reduce single-problem evaluation latency without weakening the sandbox

  leanprover/lean-eval-submissions#1616 · Filter by author kim-em opened on Sep 2, 2026

• Operate the four-week server-intake overlap and retire issue intake

  leanprover/lean-eval-submissions#1610 · Filter by author kim-em opened on Sep 2, 2026

• Migrate recoverable private archives to per-submission key envelopes

  leanprover/lean-eval-submissions#1609 · Filter by author kim-em opened on Sep 2, 2026

• Complete final-corpus replay with the official Lean kernel and nanoda

  leanprover/lean-eval-submissions#1608 · Filter by author kim-em opened on Sep 2, 2026

• Finalize the issue-cutoff corpus and append-only historical inventory delta

  leanprover/lean-eval-submissions#1607 · Filter by author kim-em opened on Sep 2, 2026

• [submission] Abel–Ruffini — MathGraph + GPT-5.6 Sol

  leanprover/lean-eval-submissions#1449 · Filter by author heathsanchez opened on Aug 27, 2026

• evaluate OOMs on 16 GB hosted runners for memory-heavy submissions (exit 143, misleading failure comment)

  leanprover/lean-eval-submissions#1078 · Filter by author Vilin97 opened on Aug 16, 2026
  1

• [submission] MerLean finished proofs

  leanprover/lean-eval-submissions#585 · Filter by author CollinYuanjieRen opened on Jul 6, 2026