A Model Context Protocol server that exposes the Tx3 toolchain as structured tools for AI agents and editors.
tx3-mcp runs as a stdio MCP server and offers seven tools backed by the same tx3-lang, tx3-cardano, and tx3-tir crates that power trix and the official LSP:
| Tool | Purpose |
|---|---|
tx3_parse |
Parse a Tx3 source string and return its AST or structured parse errors. |
tx3_check |
Run the analyzer over a Tx3 source string or file and return diagnostics with line/column spans. |
tx3_lower |
Lower a single named transaction to its TIR JSON. |
tx3_compile |
Lower, apply arguments, and compile a transaction against Cardano protocol parameters. |
tx3_inspect_project |
Read a trix.toml, build a workspace, and summarize transactions/parties/assets. |
tx3_examples_list |
List the curated example programs bundled into the binary. |
tx3_example_get |
Return the source of a bundled example. |
Diagnostics are rendered as structured JSON with severity, code, message, help, and per-span line/column offsets — usable directly by editors and agents.
The recommended way to install tx3-mcp is via tx3up, which manages the entire Tx3 toolchain:
tx3upThis places tx3-mcp in ~/.tx3/<channel>/bin/, which tx3up adds to your PATH. Verify with:
tx3-mcp --versionAlternatively, install directly from crates.io:
cargo install tx3-mcpThe companion tx3-skills plugin wires tx3-mcp into Claude Code along with two skills (tx3-language, tx3-project), four slash commands (/tx3:new, /tx3:check, /tx3:inspect, /tx3:explain), and a save hook that runs tx3_check on .tx3 edits.
claude plugin install https://github.com/tx3-lang/tx3-skillsTo use tx3-mcp from any MCP-compatible client (editor extensions, custom agents), point it at the binary:
{
"mcpServers": {
"tx3": { "command": "tx3-mcp" }
}
}tx3-mcp 0.1.x is compatible with tx3 0.17.x. The dependency is pinned (tx3-lang = "=0.17") in Cargo.toml; new tx3 minor releases require a corresponding tx3-mcp release. Compatibility for newer tx3 versions will be tracked in this README and in the tx3-lang/toolchain channel manifest consumed by tx3up.
Apache-2.0