Pinned Loading

1. latex-mcp latex-mcp Public

   Compile trusted LaTeX documents to PDF through a small FastMCP server.

   Python 3 2

2. MPhilThesis MPhilThesis Public

   LaTeX source and automated PDF build for my 2019 MPhil thesis in applied mathematics.

   TeX

3. curriculum-graph curriculum-graph Public

   A YAML curriculum ontology with MCP tools for searching, validating and editing the graph.

   TypeScript

4. maff maff Public

   A self-hosted math research workspace built around Markdown vaults, MCP, Quartz and Lean 4.

   TypeScript

5. signal-backup-v2-exporter signal-backup-v2-exporter Public

   Export selected chats and media from Signal Android's folder-based BackupV2 backups.

   Python

6. VMapFS VMapFS Public

   Rearrange a read-only source tree through a configurable FUSE mount.

   Go