AI skills for OCaml
AI Coding Skills for OCaml
Browse the best AI coding skills for OCaml in 2026, OCaml 5 effects + multicore, Dune builds, Alcotest tests, Dream HTTP, and Eio / Lwt async patterns.
Short answer
The best AI coding skills for OCaml are skills-hub's `code-review`, `unit-test` (Alcotest + QCheck), `api-scaffold` (Dream / Opium), `db-schema` (Caqti / PGOCaml), and `secure`. Portable across Claude Code, Cursor, Codex CLI, Copilot, and Cline.
OCaml 5 brought effects + multicore in 2024-2025; in 2026 it's increasingly the choice for compiler work, fintech, and high-assurance systems. The skills below detect your OCaml stack (OCaml 5+, Dune, Opam, Dream / Opium for HTTP, Caqti / PGOCaml for DB, Eio or Lwt for async) and emit idiomatic OCaml, proper module signatures, polymorphic variants where they help, and modern Effect handlers.
Top skills for OCaml
Search the catalog directly: Browse skills for OCaml →
Frequently asked questions
Do AI skills use Eio or Lwt?
Modern skills detect which async library the project uses and emit the appropriate style. Eio is the new direction (OCaml 5 effects-based); Lwt remains common in legacy code.
Can AI generate Dream routes?
Yes, the api-scaffold skill emits Dream.get / Dream.post handlers with proper middleware stacking, JSON via Dream.json, and proper request/response typing.
What's the best AI tool for OCaml?
Cursor with the OCaml-LSP extension gives the best inline experience. Claude Code handles Dune-multi-package refactors well thanks to OCaml's clean module surface.
Do AI skills handle property-based testing?
Yes. The unit-test skill detects QCheck and generates generators + properties, useful for OCaml's strong type system where property tests catch edge cases unit tests miss.