agentmods.dev

hotdocx/emdash

emdash — Functorial Type Theory (proof-assistant for ω-categories)

This repository also configures its own agents. See what emdash tells them →

Open on GitHub hotdocx.github.io
3Stars on the repository
5Mods indexed here, across every type
28d agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

emdash-local

01

hotdocx/emdash

MCP server Claude CodeCodexCursor +2

MCP server "emdash-local" as configured in hotdocx/emdash. Runs ./scripts/start-mcp.mjs with node.

not rated 3 28d ago A tokens not measured