Plugin marketplace

personal

emdash — algebraic goal assistant (proof assistant for ω-categories) — Try it: https://hotdocx.github.io/emdash

3 · hotdocx/emdash2 pluginsupdated 12 days ago

Add this marketplace

Then install any plugin below by name — each page has its exact command.

Emdash

codex

An algebra goal assistant for exact computation, mathematical workspaces and reusable constructions.

1 skill · 1 MCP server

3

Emdash Cloud

codex

Use Emdash mathematics in an authenticated GetPaidX cloud workspace.

1 skill

3

README badge

Shows how many plugins this repo ships, and links here.

claude & codex plugins2 plugins