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.