TACIT: Tracked Agent Capabilities In Types
by lampepfl · Added 26d ago
15
Install
git clone https://github.com/lampepfl/tacitAbout
TACIT is a safety harness for AI agents that enforces capability safety via Scala 3 capture checking. It provides an MCP interface communicating over JSON-RPC via stdio. Requires JDK 17+. External data files include JARs: TACIT.jar and TACIT-library.jar, which can be downloaded or built from source.
Tags
ai-mlmcp-serverscalaagentcapability-safetyjson-rpcreplai