NestDaddy
All servers NestDaddy MCP Blog Sign inTry it free
Developer tools

Rash

io.github.paiml/rash · v0.1.0

Transpile Rust code to POSIX-compliant shell scripts with formal correctness guarantees

Set it up

Tools

This server runs locally, so its tools are listed by your MCP client once it starts.

More developer tools servers See all

  • AGILEX Docs

    Official AGILEX robotics product docs: manuals, CAN protocol, firmware, FAQ. Read-only.

  • dotsy

    Build and publish static sites on dotsy with draft-first MCP tools, OAuth Connect, and API keys.

  • Echoo public catalog

    Read-only Echoo product facts, pricing, documentation and published writing skills.

  • Polska Szkoła AI

    AI training catalogue for organisations in Poland and the Kompas AI readiness test (Polish).

  • QR Code Creator

    Free QR codes for any URL with no signup or API key, plus scan analytics. Pro makes links editable.

  • 99tests

    Order human-run real-device app tests from your coding agent; verified bugs return as fix prompts.

Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.