🔧

mcp-tacit

🔧MCP Server

lampepfl/TACIT

What it does

A safety harness for AI agents that uses Scala 3 capture checking to statically track capabilities and enforce that agent code cannot forge access rights or perform effects beyond its budget. Provides an MCP interface for use with any MCP-compatible agent.

glamalocal

Installation

Claude CodeAdd MCP server via Claude CodeAuto-generated from README. View full documentation on GitHub →

claude mcp add tacit -- tacit serve

Claude Desktop ConfigurationServer configuration (JSON)

{
  "mcpServers": {
    "tacit": {
      "command": "tacit",
      "args": ["ser...

Last UpdatedApr 9, 2026

View on GitHub Back to MCP Servers