SKILL.md
Full skill instructions
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
general: 734 citations in bib.duckdb
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.
