"Scala" matching MCP servers:

• mcp-tacit

  lampepfl

  A

  license

  -

  quality

  A

  maintenance

  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,

  Updated 19 days ago (2026-07-23 11:19 UTC)

  64

  Apache 2.0

• Tesla MCP Server

  scald

  A

  license

  -

  quality

  C

  maintenance

  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.

  Updated a year ago (2025-03-14 18:09 UTC)

  15

  MIT