← Back to leaderboard
/100
Unscored ○ Unscored 00

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,

Unscored visibility — 0/0 applicable dimensions scored
○ Schema Quality — Protocol — Reliability ○ Docs & Maintenance ○ Security Hygiene — Schema Interpretability
Schema Quality
42% weight
Protocol Compliance
N/A
Local server
Reliability
N/A
Local server
Docs & Maintenance
25% weight
Security Hygiene
33% weight
30-Day Trend
Embed Badge

Add this to your README to display your MCP Scoreboard grade:

MCP Score Badge
[![MCP Score](https://mcpscoreboard.com/badge/a6c6cbb1-2da3-4513-ab98-730d10de72b4.svg)](https://mcpscoreboard.com/server/a6c6cbb1-2da3-4513-ab98-730d10de72b4/)