Convert handwritten PDFs to Markdown with LaTeX formulas using AI (OpenAI GPT or Alibaba Qwen).
A Tomato timer with sidebar view, status bar display, OS notifications, and work session logging.