chris dare

personal code

Experiments, side-projects, and the occasional algorithm.

Pinned projects

View all on GitHub

arXMCPSelf-hosted MCP server that indexes arXiv papers across algebraic geometry, number theory, and mathematical physics for multi-agent Claude workflows. A local, mathematically-faithful alternative to NotebookLM.
derived-alg-geo-leanLean 4 library for derived algebraic geometry — coherent sheaves and cohomology, dg and derived categories, Bridgeland stability conditions, duality, intersection theory, and Fourier–Mukai foundations.