paiml-rash
Rust-to-shell transpiler with formal correctness guarantees
- Score
- 79.0612 signals
- Evidence
- 37 stars · 3 forks
- Last commit
- as last read from GitHub; most reads are from 2 Sep 2026 or later
- Listed
Install
No one-command install. Set it up from its source.
Alternatives · MCPs
- depyler357 stars · 15 forks94.075
- gabrielmaialva33-winx-code-agent34 stars · 9 forks83.128
- namin-dafny-verifier3 stars · 4 forks57.754
What it is
MCP server Rash, catalogued on PulseMCP. Rust-to-shell transpiler with formal correctness guarantees
When to use it
Rust-to-shell transpiler with formal correctness guarantees
Notes
Listed from the PulseMCP registry. The registry does not state a license. Check it before production use.