150,000+ agents registered. Trust scores show their math.Explore →
Explorer/MCP/lampepfl/tacit
LOCAL

mcp-tacit

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,

↗lampepfl/tacitExternal link; availability not verifiedLicenseApache 2.0Local-only
The Ghost
This server runs locally on your machine. We can't scan it remotely; review the source code before installing.
Time indexed (5mo)
0toolsLocal/ STDIO5moindexed
Checked Apr 18, 2026
The scanner shows
This server runs locally. We can't scan it remotely; review the source code before installing.
First indexed Apr 18, 2026
Server Profile
⚙
Tools catalogued
0
No tools reported by this server.
☁
Hosting
Local / STDIO
Runs on your machine. Has access to your filesystem, SSH keys, and environment variables.
○
Registry presence
Not verified
Not yet verified by the Official MCP Registry.
●
Liveness
—
No liveness checks recorded yet.
Publisher Verification
Not listed on the Official MCP Registry.
Source repository is available for review.
↗lampepfl/tacitExternal link; availability not verified

Is this your server?

Create a free RNWY account to connect your on-chain identity to this server. MCP server claiming is coming; register now and you'll be first in line.

Create your account →
Similar servers
io.github.ExpertVagabond/photo-organizer
AI-powered organization for Google Photos and Drive - auto-organize, find duplicates, create albums
GameAnalytics Documentation
Search GameAnalytics docs: Unity, Unreal, iOS, Android SDK and API guides for mobile game analytics.
athenahealth MCP Server
Enables AI-powered clinical decision support by integrating with athenahealth's API to access patient data, manage prescriptions, check drug interactions, and generate clinical assessments. Provides HIPAA-compliant healthcare workflows with comprehensive audit logging and data sanitization.
Maven - Autonomous CFO
An AI-powered financial officer that makes autonomous trading decisions, provides strategic insights and risk management for the Mother Haven ecosystem. Integrates with trading bots and DEX platforms through MCP capabilities while maintaining personality and memory through git-first persistence.
com.sunex/optics-mcp
Search Sunex lenses and imager sensors, match compatible optics, get pricing. No API key needed.
ioBroker MCP Server
Provides a configurable web server foundation for ioBroker home automation systems to implement Model Context Protocol functionality. Features HTTP/HTTPS support, authentication, and basic REST API endpoints for adapter integration.
Indexed from Glama · Updates nightly