tsafe-mcp 0.1.0

First-party MCP server for tsafe — exposes action-shaped tools to MCP-aware hosts over stdio JSON-RPC.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

//! tsafe-mcp — first-party MCP server for tsafe.
//!
//! Speaks MCP over stdio (JSON-RPC 2.0, protocol version `2025-06-18`) to
//! MCP-aware hosts (Claude Desktop, Cursor, Continue, Windsurf, Codex). Binds
//! to exactly one tsafe profile at startup; request-time profile or scope
//! switching is rejected as `-32008`.
//!
//! Companion binary; published separately from `tsafe`. See ADR-006.

fn main() {
    tsafe_mcp::run();
}