mcp-tacit by lampepfl
36 score
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,
Ranked #634 out of 1753 indexed skills.
Is this your tool? Claim this listing to add maintainer context, get a verified badge, and unlock analytics.
Claim listing → Signal Breakdown
Installs 298
Freshness GitHub not linked
Issue Health GitHub not linked
Stars GitHub not linked
Platform Breadth 1 platform
Contributors GitHub not linked
Description Detailed
How to Improve
Platforms medium impact
Badge
[](https://agentrank-ai.com/skill/glama-lampepfl--TACIT/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge) <a href="https://agentrank-ai.com/skill/glama-lampepfl--TACIT/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge"><img src="https://agentrank-ai.com/api/badge/skill/glama-lampepfl--TACIT" alt="AgentRank"></a>