leanprover / leanprover/lean-eval
New submission page is broken
Nobody has claimed this yet.
- Dominant language
- Lean
- Stars
- 46
- Forks
- 39
- Avg merge
- 54m
- Merged PRs (30d)
- 80
Description
When submitting a solution via
https://lean-eval-submission-server.lean-eval.workers.dev/
Pressing on [Submit exact commit] results in:
{
"error": "provider_unavailable"
}
Document.querySelector: '#' is not a valid selector
The same workflow, with exactly the same fields (except for problem name) worked yesterday.
The exact query to https://lean-eval-submission-server.lean-eval.workers.dev/api/v1/browser/submissions that is being sent from the website (from network page) that results in the error:
{
"submission": {
"declared_model": "NEAR AI w/ DeepSeek V4",
"problem_id": "annals_linear_subspaces",
"production_metadata": {},
"publication_choice": "scheduled",
"schema_version": 2,
"source_commit": "03e1aecee05cd9a14e7b97140dd96e3f3a826466",
"source_repository": "SkidanovAlex/leaneval-deepseek",
"terms_accepted": true,
"terms_version": "lean-eval-intake-terms-v1"
}
}
And the response is:
{"error": "provider_unavailable"}
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Open the submission page at https://lean-eval-submission-server.lean-eval.workers.dev/ and reproduce the failure by pressing Submit exact commit. Inspect the request to /api/v1/browser/submissions and the accompanying Document.querySelector error. Done means the same submission workflow completes without provider_unavailable or selector errors.
Written by the indexing model from the issue text.
Assessment
- Domain
- api, web-dev
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Active
- Clarity
- Mostly clear
- Newbie friendliness
- 64/100