Transpile Rust code to POSIX-compliant shell scripts with formal correctness guarantees
Add this server entry to the mcpServers object in your Claude Desktop config, then restart the app.
{
"mcpServers": {
"io-github-paiml-rash": {
"command": "npx",
"args": [
"-y",
"@modelcontextprotocol/server-io-github-paiml-rash"
]
}
}
}~/Library/Application Support/Claude/claude_desktop_config.json%APPDATA%\Claude\claude_desktop_config.jsonNo remote HTTP endpoint is advertised. Use the package or stdio setup shown in Install.
rash is an MCP server for Transpile Rust code to POSIX-compliant shell scripts with formal correctness guarantees. It supports MCP-compatible transport.
Use the client-specific config in Install and add it to your MCP-compatible client.
Choose the Claude Desktop tab in Install and copy the config into Claude Desktop's MCP server settings.
Choose the Claude Code tab in Install and copy the config into Claude Code's MCP server settings.
Choose the Codex tab in Install and copy the config into Codex's MCP server settings.
Choose the Cursor or VS Code tab in Install and copy the config into Cursor or VS Code's MCP server settings.
rash uses MCP-compatible transport. Use the package or command config in Install.
rash inventory is listed when the MCP endpoint exposes tools, resources, or prompts. Some servers require auth first.
rash does not advertise a verified auth requirement. If discovery fails, it may still need provider login, an API key, a bearer token, or a session header.