"author:lampepfl" matching MCP servers:

• mcp-tacit

  lampepfl

  -

  security

  A

  license

  -

  quality

  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,

  Last updated 4 days ago

  18

  Apache 2.0