TACIT

v1.0.0Securitystable

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 canno

mcp-tacitmcpai-integration
Share:
0
Stars
0
Downloads
0
Weekly
0/5

What is TACIT?

TACIT is a Model Context Protocol (MCP) server that allows AI assistants like Claude, Cursor, and VS Code to 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 trac...

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 canno

This server falls under the Security category on MCPgee, the world's largest MCP server directory with 33,000+ servers.

Features

  • TACIT (Tracked Agent Capabilities In Types) is a safety harn

Use Cases

Safety harness for AI agents
Type system capability tracking
lampepfl

Maintainer

LicenseApache 2.0
Languagetypescript
Versionv1.0.0
UpdatedN/A
Statushealthy
Maintenanceactive

Works with

ClaudeOpenAIwindowsmacoslinux

Installation

Manual Installation

npx mcp-tacit

Configuration

Configuration Details

Config File

claude_desktop_config.json

Performance

Response Metrics

Response Time< 200ms
ThroughputMedium

Resource Usage

Memory UsageLow
CPU UsageLow

Frequently Asked Questions about TACIT

What is TACIT?

TACIT is a Model Context Protocol (MCP) server that 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 canno It connects AI assistants to external tools and data sources through a standardized interface.

How do I install TACIT?

Follow the installation instructions on the TACIT GitHub repository. Clone the repo, install dependencies, and add the server config to your AI client.

Which AI clients work with TACIT?

TACIT works with all major MCP-compatible AI clients including Claude Desktop, Claude Code, Cursor, VS Code (GitHub Copilot), Windsurf, and Cline.

Is TACIT free to use?

Yes, TACIT is open source and available under the Apache 2.0 license. You can use it freely in both personal and commercial projects.

TACIT Alternatives — Similar Security Servers

Looking for alternatives to TACIT? Here are other popular security servers you can use with Claude, Cursor, and VS Code.

Casdoor

13.6k

An open-source Agent-first Identity and Access Management (IAM) /LLM MCP & agent gateway and auth server with web UI supporting OpenClaw, MCP, OAuth, OIDC, SAML, CAS, LDAP, SCIM, WebAuthn, TOTP, MFA, Face ID, Google Workspace, Azure AD

ghidraMCP

9.0k

An Model Context Protocol server that enables LLMs to autonomously reverse engineer applications by exposing Ghidra's decompilation and analysis tools. It allows AI agents to list code structures, rename methods, and analyze binaries directly through

HexStrike AI

8.9k

HexStrike AI MCP Agents is an advanced MCP server that lets AI agents (Claude, GPT, Copilot, etc.) autonomously run 150+ cybersecurity tools for automated pentesting, vulnerability discovery, bug bounty automation, and security research. Seamlessly b

IDA Pro MCP

8.7k

Enables AI-assisted reverse engineering in IDA Pro by providing tools to analyze binaries, decompile functions, manage comments, search patterns, and interact with the IDA database through natural language.

Anthropic Cybersecurity Skills

6.6k

754 structured cybersecurity skills for AI agents · Mapped to 5 frameworks: MITRE ATT&CK, NIST CSF 2.0, MITRE ATLAS, D3FEND & NIST AI RMF · agentskills.io standard · Works with Claude Code, GitHub Copilot, Codex CLI, Cursor, Gemini CLI & 20+ platform

Hooker

5.1k

🔥🔥 hooker is a Frida-based reverse engineering toolkit for Android. It offers a user-friendly CLI, universal scripts, auto hook generation, memory roaming to detect activities/services, one-click SOCKS5 proxy setup, Frida JustTrustMe, and BoringSSL u

Browse More Security MCP Servers

Explore all security servers available in the MCPgee directory. Each server includes setup guides for Claude, Cursor, and VS Code.

Quick Config Preview

{ "mcpServers": { "mcp-tacit": { "command": "npx", "args": ["-y", "mcp-tacit"] } } }

Add this to your claude_desktop_config.json or .cursor/mcp.json

Read the full setup guide →

Ready to use TACIT?

Browse our complete directory of 33,000+ MCP servers, read setup guides for your editor, and start building with the Model Context Protocol.

33,000+ ServersFree & Open SourceStep-by-Step Guides