Repository navigation

vscode: prove a file and manage proof jobs from the editor - #519

Merged

0xGeorgii merged 6 commits into

mainfrom

feat/vscode-prover

Oct 9, 2026

Merged

vscode: prove a file and manage proof jobs from the editor#519
0xGeorgii merged 6 commits into
mainfrom
feat/vscode-prover

Commits on Oct 7, 2026
- vscode: prove a file and manage proof jobs from the editor
  
  0xGeorgii
  and
  claude
  committed
  903b5c7
- changelog: link the proof-jobs entry to #519
  
  0xGeorgii
  and
  claude
  committed
  464f8bc
- vscode: address review of the proof-jobs client
  
  0xGeorgii
  and
  claude
  committed
  317e96c
- vscode: drop a Load more that waited across a server or key change
  
  0xGeorgii
  and
  claude
  committed
  5268d60
Commits on Oct 9, 2026
- vscode: open portal job links on the portal's hash route
  
  0xGeorgii
  and
  claude
  committed
  00b012c
- vscode: keep the job's filename when running a proof job again
  
  0xGeorgii
  and
  claude
  committed
  02ab3f0