io.github.paiml/rash

Official

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

Transpiles Rust code to POSIX shell scripts with formal verification.

io.github.paiml/rash - MCP Catalog