# Opam

> OCaml package manager (45 subcommands).

- Skill: `majiayu000/opam` (Agent Skill, multi-file: 2 files)
- Install (CLI): `npx skillmds add majiayu000/opam`
- Raw SKILL.md: https://api.skillmd.com/api/skills/majiayu000/opam/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- Author: majiayu000 (https://skillmd.com/u/majiayu000)
- Updated: 2026-09-09
- Page: https://skillmd.com/skills/majiayu000/opam

---



# opam

OCaml package manager (45 subcommands).

## Install

```bash
opam install dune merlin
opam remove package
opam upgrade
```

## Switch

```bash
opam switch create 5.1.0
opam switch list
opam switch set 5.1.0
```

## Environment

```bash
eval $(opam env)
opam exec -- dune build
```

## Pin

```bash
opam pin add pkg ./local-path
opam pin add pkg git+https://...
opam pin remove pkg
```

## Repository

```bash
opam repo add name url
opam repo list
opam update
```

## Query

```bash
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



## SDF Interleaving

This skill connects to **Software Design for Flexibility** (Hanson & Sussman, 2021):

### Primary Chapter: 5. Evaluation

**Concepts**: eval, apply, interpreter, environment

### GF(3) Balanced Triad

```
opam (−) + SDF.Ch5 (−) + [balancer] (−) = 0
```

**Skill Trit**: -1 (MINUS - verification)


### Connection Pattern

Evaluation interprets expressions. This skill processes or generates evaluable forms.
## 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.
