agentmods.dev

hotdocx/emdash

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

Latest release emdash-v0.4.0 — Emdash 0.4.0 · 29 Sept 2026

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

Open on GitHub hotdocx.github.io
3Stars on the repository
2Files it configures its agents with
2,876Tokens 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.