install
source · Clone the upstream repo
git clone https://github.com/plurigrid/asi
Claude Code · Install into ~/.claude/skills/
T=$(mktemp -d) && git clone --depth=1 https://github.com/plurigrid/asi "$T" && mkdir -p ~/.claude/skills && cp -r "$T/plugins/asi/skills/opam" ~/.claude/skills/plurigrid-asi-opam && rm -rf "$T"
manifest:
plugins/asi/skills/opam/SKILL.mdsource content
opam
OCaml package manager (45 subcommands).
Install
opam install dune merlin opam remove package opam upgrade
Switch
opam switch create 5.1.0 opam switch list opam switch set 5.1.0
Environment
eval $(opam env) opam exec -- dune build
Pin
opam pin add pkg ./local-path opam pin add pkg git+https://... opam pin remove pkg
Repository
opam repo add name url opam repo list opam update
Query
opam list --installed opam show package opam search term
Scientific Skill Interleaving
This skill connects to the K-Dense-AI/claude-scientific-skills ecosystem:
Graph Theory
- networkx [○] via bicomodule
- Universal graph hub
Bibliography References
: 734 citations in bib.duckdbgeneral
Cat# Integration
This skill maps to Cat# = Comod(P) as a bicomodule in the equipment structure:
Trit: 0 (ERGODIC) Home: Prof Poly Op: ⊗ Kan Role: Adj Color: #26D826
GF(3) Naturality
The skill participates in triads satisfying:
(-1) + (0) + (+1) ≡ 0 (mod 3)
This ensures compositional coherence in the Cat# equipment structure.