AI, Agents, LLMs
LLMs have gotten quite good at writing OCaml code, and OCaml’s strong type system and rapid compilation helps them iterate successfully.
MCP Servers
In order for AI agents to use tools effectively, they need access to those tools. The Model Context Protocol standard has emerged as a gateway between AIs and things other than simple textual input/output.