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
yesterdayLast 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 2 mods

emdash-cloud

01

hotdocx/emdash

Skill Claude CodeCodex

Compute, explore and reuse Emdash mathematics in a selected GetPaidX or LastRevision cloud workspace through its existing authenticated tools.

not rated 3 yesterday A 29 tokens

emdash

02

hotdocx/emdash

Skill Claude CodeCodex

Work on algebra goals with exact polynomial computations, reusable native/internal module constructions and source-derived views using Emdash.

not rated 3 yesterday A 25 tokens