infinity-operads
95 / 100 · Low risk
Fine to try.
∞-Operads for pairwise/tritwise Cat# interactions with lazy ACSet materialization unifying effective, realizability, and Grothendieck topoi via dendroidal Segal spaces.
What this skill can do
Runs commands on your computer
Other copies in this repository
Install
Paste this into your terminal. It downloads exactly the version we scanned, not whatever is newest.
if [ -e ~/.agents/skills/'infinity-operads' ] || [ -L ~/.agents/skills/'infinity-operads' ]; then echo 'A skill folder named infinity-operads already exists — not replacing it' >&2; false; else d=$(mktemp -d) && git clone --quiet --filter=blob:none --no-checkout 'https://github.com/plurigrid/asi' "$d" && git -C "$d" checkout --quiet '293ce9f76e3abcd5ba18db284688bc0d9ac6691d' -- 'skills/infinity-operads' && mkdir -p ~/.agents/skills && cp -R "$d"/'skills/infinity-operads' ~/.agents/skills/'infinity-operads' && rm -rf "$d"; fi
Codex reads ~/.agents/skills directly. For Claude Code, Cursor, Copilot, Gemini CLI, Antigravity or OpenCode, also link it. For Claude Code: ln -s ~/.agents/skills/'infinity-operads' ~/.claude/skills/'infinity-operads' (other agents: ~/.cursor/skills, ~/.copilot/skills, ~/.gemini/skills, ~/.gemini/config/skills, ~/.config/opencode/skills). Or install through the finder skill, which does both.
Badge for your README
[](https://zalavijaysinh.github.io/skilltrust/repos/plurigrid/asi/)
Score history
| Date | Version | Score |
|---|---|---|
| 2026-11-07 | 293ce9f | 95 |