leanprover / leanprover/lean-eval

New submission page is broken

Open
#637 0 comments 1 reaction 0 assignees View on GitHub

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

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. 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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.