mcp-tacit
Rank #3508glama/lampepfl/TACIT
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,
mcp-tacit is a Model Context Protocol (MCP) server published by lampepfl. It ranks #3508 of 58,832 servers tracked on MCP Toplist, and its repository has 49 GitHub stars. mcp-tacit is listed on Glama, and ships as a single rolling release with no explicit version metadata. It was first listed on Mar 21, 2026.
Ranks ahead of 55,324 of 58,832 servers on MCP Toplist.
Listed on 1 registry
lampepfl
Not versioned
This server is published through a registry that does not expose explicit version metadata. The listing tracks a single rolling release.
Frequently asked questions
- What is mcp-tacit?
- 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,
- Who maintains mcp-tacit?
- mcp-tacit is maintained by lampepfl, which publishes 1 MCP server (0 total versions) tracked on MCP Toplist.
- Is mcp-tacit an official MCP server?
- mcp-tacit is not on the Official MCP Registry. It is listed on Glama.
- How many versions does mcp-tacit have?
- mcp-tacit ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for mcp-tacit?
- The source code for mcp-tacit is hosted at github.com/lampepfl/tacit.