Commits

Branch selector

main

User selector

All users

All time

Commit history

Commits on Jan 7, 2026

• Merge pull request #2 from songxxzp/dev

  Show description for 7069b1a
  songxxzp

  authored
  7069b1aView commit details

  Copy full SHA for 7069b1a

  Browse repository at this point

• Add image display to Database frontend

  Show description for aa57f8b
  

  songxxzp

  and

  claude

  committed
  aa57f8bView commit details

  Copy full SHA for aa57f8b

  Browse repository at this point

• Fix AttributeError when processing_status is None

  Show description for 10b5a43
  

  songxxzp

  and

  claude

  committed
  10b5a43View commit details

  Copy full SHA for 10b5a43

  Browse repository at this point

• Optimize AMM crawler: skip existing problems, require image for save

  Show description for 3c98ebb
  

  songxxzp

  and

  claude

  committed
  3c98ebbView commit details

  Copy full SHA for 3c98ebb

  Browse repository at this point

• Add AMM crawler to API routes

  Show description for fc0fc0b
  

  songxxzp

  and

  claude

  committed
  fc0fc0bView commit details

  Copy full SHA for fc0fc0b

  Browse repository at this point

• Fix AMM image URL construction

  Show description for 8cc8078
  

  songxxzp

  and

  claude

  committed
  8cc8078View commit details

  Copy full SHA for 8cc8078

  Browse repository at this point

• Update AMM crawler to use Roberto Tauraso's collection

  Show description for 9fbf5f4
  

  songxxzp

  and

  claude

  committed
  9fbf5f4View commit details

  Copy full SHA for 9fbf5f4

  Browse repository at this point

• Add AMM (American Mathematical Monthly) crawler

  Show description for b2dfc0f
  

  songxxzp

  and

  claude

  committed
  b2dfc0fView commit details

  Copy full SHA for b2dfc0f

  Browse repository at this point

• Add separate verification for question and answer Lean code

  Show description for 4b5a5a0
  

  songxxzp

  and

  claude

  committed
  4b5a5a0View commit details

  Copy full SHA for 4b5a5a0

  Browse repository at this point

Commits on Jan 5, 2026

• Fix verification to work with lean_conversion_results table

  Show description for 56668bc
  

  songxxzp

  and

  claude

  committed
  56668bcView commit details

  Copy full SHA for 56668bc

  Browse repository at this point

• Fix verification bug: use question_id instead of id

  Show description for 5583f4f
  

  songxxzp

  and

  claude

  committed
  5583f4fView commit details

  Copy full SHA for 5583f4f

  Browse repository at this point

Commits on Jan 4, 2026

• Add database vacuum script for maintenance

  Show description for c7f1694
  

  songxxzp

  and

  claude

  committed
  c7f1694View commit details

  Copy full SHA for c7f1694

  Browse repository at this point

Commits on Jan 3, 2026

• Add KaTeX math rendering to Database view

  Show description for 592610c
  

  songxxzp

  and

  claude

  committed
  592610cView commit details

  Copy full SHA for 592610c

  Browse repository at this point

• Fix formalization_value default from 'medium' to None

  Show description for 8ddc085
  

  songxxzp

  and

  claude

  committed
  8ddc085View commit details

  Copy full SHA for 8ddc085

  Browse repository at this point

• Use configurable max_tokens for Lean conversion and improve test verifier

  Show description for 4279720
  

  songxxzp

  and

  claude

  committed
  4279720View commit details

  Copy full SHA for 4279720

  Browse repository at this point

Commits on Jan 2, 2026

• Fix dict type error and prompt imports in LLMLeanConverter

  Show description for 2ae46e7
  

  songxxzp

  and

  claude

  committed
  2ae46e7View commit details

  Copy full SHA for 2ae46e7

  Browse repository at this point

Commits on Dec 31, 2025

• Don't change status to failed for Lean conversion errors

  Show description for 1df71db
  

  songxxzp

  and

  claude

  committed
  1df71dbView commit details

  Copy full SHA for 1df71db

  Browse repository at this point

• Move Lean conversion prompts to prompts.py for centralization

  Show description for 5379128
  

  songxxzp

  and

  claude

  committed
  5379128View commit details

  Copy full SHA for 5379128

  Browse repository at this point

• Fix Config page Sites display - extract sites array from API response

  Show description for 2bb6620
  

  songxxzp

  and

  claude

  committed
  2bb6620View commit details

  Copy full SHA for 2bb6620

  Browse repository at this point

• Fix Lean verification to use KiminaClient instead of direct API call

  Show description for 6799aa3
  

  songxxzp

  and

  claude

  committed
  6799aa3View commit details

  Copy full SHA for 6799aa3

  Browse repository at this point

Commits on Dec 30, 2025

• Add traceback to all exception handlers in test_lean_converter.py

  Show description for 1460996
  

  songxxzp

  and

  claude

  committed
  1460996View commit details

  Copy full SHA for 1460996

  Browse repository at this point

• Add interactive Lean converter debugging tool

  Show description for 8e4606a
  

  songxxzp

  and

  claude

  committed
  8e4606aView commit details

  Copy full SHA for 8e4606a

  Browse repository at this point

• Fix crawler filter parameter and add non-interactive mode

  Show description for 8447ab1
  

  songxxzp

  and

  claude

  committed
  8447ab1View commit details

  Copy full SHA for 8447ab1

  Browse repository at this point

• Fix scheduler infinite loop and frontend API connection issues

  Show description for fadd516
  

  songxxzp

  and

  claude

  committed
  fadd516View commit details

  Copy full SHA for fadd516

  Browse repository at this point

Commits on Dec 29, 2025

• Add comprehensive scheduled task module with APScheduler

  Show description for c4528c9
  

  songxxzp

  and

  claude

  committed
  c4528c9View commit details

  Copy full SHA for c4528c9

  Browse repository at this point

• Add converter version tracking for Lean conversions

  Show description for 8f9d044
  

  songxxzp

  and

  claude

  committed
  8f9d044View commit details

  Copy full SHA for 8f9d044

  Browse repository at this point

• Merge pull request #1 from songxxzp/dev

  Show description for 3921e56
  songxxzp

  authored
  3921e56View commit details

  Copy full SHA for 3921e56

  Browse repository at this point

• Add cleanup for questions stuck in 'preprocessing' status

  Show description for 13373a2
  

  songxxzp

  and

  claude

  committed
  13373a2View commit details

  Copy full SHA for 13373a2

  Browse repository at this point

• Bump backend version to 1.0.2

  Show description for 62ac2cc
  

  songxxzp

  and

  claude

  committed
  62ac2ccView commit details

  Copy full SHA for 62ac2cc

  Browse repository at this point

• Add preprocessing version selection dialog for clearing preprocessed data

  Show description for 6546fad
  

  songxxzp

  and

  claude

  committed
  6546fadView commit details

  Copy full SHA for 6546fad

  Browse repository at this point

• Add formalization_value field and Quality column to display LLM-assessed quality

  Show description for 6bed027
  

  songxxzp

  and

  claude

  committed
  6bed027View commit details

  Copy full SHA for 6bed027

  Browse repository at this point

Commits on Dec 28, 2025

• Fix verification statistics calculation

  Show description for 3050d67
  

  songxxzp

  and

  claude

  committed
  3050d67View commit details

  Copy full SHA for 3050d67

  Browse repository at this point

• Add detailed statistics to Dashboard

  Show description for 26ee51e
  

  songxxzp

  and

  claude

  committed
  26ee51eView commit details

  Copy full SHA for 26ee51e

  Browse repository at this point

• Update README with dual Lean converter system documentation

  Show description for 7b23e09
  

  songxxzp

  and

  claude

  committed
  7b23e09View commit details

  Copy full SHA for 7b23e09

  Browse repository at this point

• Add error handling for converter clear dialog

  Show description for 82843dd
  

  songxxzp

  and

  claude

  committed
  82843ddView commit details

  Copy full SHA for 82843dd

  Browse repository at this point