← Back to leaderboard
68
/100
C ◐ Assessed 33

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,

by lampepfl ★ 18 Last commit: 2 weeks, 6 days ago
Assessed visibility — 3/3 applicable dimensions scored
✓ Schema Quality — Protocol — Reliability ✓ Docs & Maintenance ✓ Security Hygiene — Schema Interpretability
Schema Quality
50
42% weight
Protocol Compliance
N/A
Local server
Reliability
N/A
Local server
Docs & Maintenance
61
25% weight
Security Hygiene
95
33% weight
30-Day Trend

Score History

Category Trends

Static Analysis

Metric Score Rating
Schema Completeness 30 Poor
Description Quality 80 Good
Documentation Coverage 35 Poor
Maintenance Pulse 81 Good
Dependency Health 20 Poor
License Clarity 100 Good
Version Hygiene 90 Good
Analyzed 2 weeks, 5 days ago
Embed Badge

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

MCP Score Badge
[![MCP Score](https://mcpscoreboard.com/badge/9f71799b-c985-419e-ad23-248fc467dc88.svg)](https://mcpscoreboard.com/server/9f71799b-c985-419e-ad23-248fc467dc88/)