TACIT: Tracked Agent Capabilities In Types
MCP Serverby lampepfl · Added 5mo ago
Claude
15
Install
git clone https://github.com/lampepfl/tacitAdd to Claude
claude mcp add tacit-tracked-agent-capabilities-in-typesQuick Setup Config
Copy & paste ready~/Library/Application Support/Claude/claude_desktop_config.json (macOS) %APPDATA%\Claude\claude_desktop_config.json (Windows)
{
"mcpServers": {
"tacit-tracked-agent-capabilities-in-type": {
"command": "npx",
"args": [
"@modelcontextprotocol/tacit-tracked-agent-capabilities-in-type"
]
}
}
}Paste into your Claude Desktop config file, then restart Claude.
About
TACIT is a safety harness for AI agents that enforces capability safety via Scala 3 capture checking. It provides an MCP interface communicating over JSON-RPC via stdio. Requires JDK 17+. External data files include JARs: TACIT.jar and TACIT-library.jar, which can be downloaded or built from source.
Tags
ai-mlmcp-serverscalaagentcapability-safetyjson-rpcreplai