agentmods.dev

hotdocx/emdash

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

Latest release emdash-v0.3.0 — @hotdocx/emdash 0.3.0 · 11 Aug 2026

2 files for Cursor, Codex and OpenCode: cursorrules, emdash AGENTS.md — 2,467 tokens loaded in every session.

Open on GitHub hotdocx.github.io
2Stars on the repository
2Files it configures its agents with
2,467Tokens loaded in every session
3Agents configured

Instructions

Cursor rules

These files are hotdocx/emdash's own configuration — they tell Cursor, Codex and OpenCode how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.