Asi opam-ocaml

Name: opam-ocaml
Author: plurigrid

OPAM package manager for OCaml. Switch management, dependency resolution, and OCaml toolchain.

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/skills/opam-ocaml" ~/.claude/skills/plurigrid-asi-opam-ocaml-8ba283 && rm -rf "$T"

manifest: skills/opam-ocaml/SKILL.md

source content

OPAM OCaml Skill

Trit: -1 (MINUS - package constraint verification)
Foundation: OPAM + OCaml + dune

Core Concept

OPAM manages OCaml development:

Compiler switches (versions)
Package dependencies
Build system integration
Repository management

Common Commands

# Switch management
opam switch create 5.1.0
opam switch list
opam switch 5.1.0

# Package operations
opam install dune merlin ocaml-lsp-server
opam upgrade
opam remove <pkg>

# Environment
eval $(opam env)

# Repository
opam repo add coq-released https://coq.inria.fr/opam/released

Dune Integration

; dune-project
(lang dune 3.0)
(name my_project)

; dune
(library
 (name my_lib)
 (libraries core))

GF(3) Integration

type trit = Minus | Ergodic | Plus

let trit_of_build_status = function
  | Build_error _ -> Minus
  | Build_warning _ -> Ergodic
  | Build_success -> Plus

let gf3_conserved trits =
  let sum = List.fold_left (fun acc t ->
    acc + match t with Minus -> -1 | Ergodic -> 0 | Plus -> 1
  ) 0 trits in
  sum mod 3 = 0

Canonical Triads

opam-ocaml (-1) ⊗ nickel (0) ⊗ geb (+1) = 0 ✓
opam-ocaml (-1) ⊗ lispsyntax-acset (0) ⊗ free-monad-gen (+1) = 0 ✓