"Scala" matching MCP servers:

TACIT (Tracked Agent Capabilities In Types) is a safety harness for AI agents. Instead of calling tools directly, agents write code in Scala 3 with capture checking: a type system that statically tracks capabilities and enforces that agent code cannot forge access rights, cannot perform effects beyond its budget, and cannot leak information from pure sub-computations. It provides an MCP interface,

A Model Context Protocol server that connects to the Tesla Fleet API, allowing AI assistants like Claude to control Tesla vehicles and access vehicle information through natural language commands.

Turns a real cloud iPhone or Android device into an environment an agent drives through up to eighteen capability-gated tools for reading the screen, tapping, swiping, typing, pressing keys and launching apps. The device also records video and a timed trajectory of every action for later inspection.

Enables LLM agents to play a headless, deterministic 4X civilization game through ten MCP tools for turn briefs, unit orders, city management, research, and map exploration, with scoring against engine AI and do-nothing baselines.

Enables an LLM agent to play a melee match against the game's built-in AI by exposing raw wc3env orders as MCP tools, with games graded and native replays saved.