refactor: Major cleanup and add SVG documentation images

- Remove cruft files (DocsMain, TicTacToe, Test, CHANGELOG, etc.)
- Clean up library structure (remove Experiments, AutoPNG, Basic)
- Remove redundant demos (OverlayPlot, SpecificationTest, OperatorPlayground)
- Add LeanPlot/SVG.lean for pure-Lean SVG generation
- Add GenDocImages.lean executable to generate doc images
- Update docs with inline SVG examples (plot, scatter, plotMany)
- Update Justfile with doc-images target
- Update CI workflow to generate images before docs build
- Clean README.md and add link to GitHub Pages docs

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>

Author: alok

.cursor/mcp.json

@@ -37,12 +37,18 @@ jobs:
       - name: Build LeanPlot
         run: lake build
 
+      - name: Generate documentation images
+        run: lake exe gendocimages
+
       - name: Build documentation
         run: lake build leanplot-docs
 
       - name: Generate documentation
         run: .lake/build/bin/leanplot-docs
 
+      - name: Copy images to output
+        run: cp -r doc/img _out/docs/html-multi/
+
       - name: Setup Pages
         uses: actions/configure-pages@v4
 

.cursor/rules/debug-chart-images.mdc

@@ -1,3 +1,10 @@
 /.lake
 .DS_Store
 _out/
+*.olean
+*.ilean
+*.trace
+*.bak
+*.un~
+.venv/
+node_modules/