Best OCaml MCP Servers
OCaml is a general-purpose, multi-paradigm programming language which extends the Caml dialect of ML with object-oriented features.
Why this server?
Captures OCaml application logs.
AlicenseAqualityAmaintenanceThe logs of everything on one machine — app, build, GPU, containers, serial board, OS — interleaved in the order they happened, and readable by an agent. Read-only: it can tail, search and wait, and it cannot write, delete or configure anything.291 npm1MITWhy this server?
Maps OCaml repositories to show important files, code structures, and their relationships
AlicenseAqualityDmaintenanceA powerful tool designed to help, primarily LLMs, understand and navigate complex codebases. It functions both as a command-line application for on-demand analysis and as an MCP (Model Context Protocol) server, providing continuous repository mapping capabilities to other applications. By generating22209MITWhy this server?
Allows running OCaml Script code snippets and viewing results
AlicenseBqualityFmaintenanceMCP Server for running code snippet and show the result.1763 npm245MITWhy this server?
Provides AST-aware code intelligence for OCaml codebases, including semantic search, dependency graphs, and refactoring analysis.
AlicenseAqualityCmaintenanceStandard coding agents waste 70% of context tokens re-reading raw files with shell grep. Synapse-MCP indexes your codebase into a sub-millisecond local AST graph—giving Claude Code, Cursor, and Windsurf exact caller trees, 60% lower token spend, and zero-hallucination refactoring.143MITWhy this server?
Provides experimental support for indexing OCaml code into the local knowledge graph.
Why this server?
Indexes OCaml codebases to provide symbol search, call graph navigation, and change impact analysis.

osnovaofficial
AlicenseNot gradedqualityAmaintenanceEnables read-only querying of a local repository through a deterministic tree-sitter symbol and edge graph, exposing keyword search with exact file:line hits, regex text search, per-file symbol skeletons, caller/callee traversal, and directory-level maps of clusters, hubs, and hotspots over stdio.710 npm1Apache 2.0Why this server?
OCaml is recognized by file discovery and the default LSP registry, letting Lore snapshot and structurally enrich OCaml sources through the OCaml language server.
AlicenseNot gradedqualityBmaintenanceEnables LLM agents to query a codebase's structural knowledge (symbols, imports, call graphs, etc.) via MCP, reducing tokens and improving correctness compared to raw file access.35 npm7MITWhy this server?
Supports OCaml code analysis including call graph construction and liveness monitoring.