Pinned Loading

1. arXMCP arXMCP Public

   Local-first MCP server exposing a research-mathematics arXiv corpus to multi-agent Claude pipelines: semantic + equation search, notation tables, citation graph, Lean verification

   Python

2. derived-alg-geo-lean derived-alg-geo-lean Public

   Lean formalizations for coherent sheaves, derived categories, Bridgeland stability conditions, and Fourier–Mukai geometry.

   Lean 1

3. stability-mflds stability-mflds Public

   Exact-arithmetic Python tools for Bridgeland stability walls, the Drézet–Le Potier curve on P², Bogomolov–Gieseker bounds, and the K3 Mukai lattice

   Python

4. agent-kit agent-kit Public

   Provider-neutral agent kit + local artifact-memory substrate (MCP server, generators, guards, Qdrant-backed semantic search over a personal workspace)

   Python

5. math-formal-contract-lean math-formal-contract-lean Public

   The @[cites] attribute: bind a Lean declaration to a statement in a paper, by a key nothing rotates. Zero dependencies, enforced.

   Python