Rash
Rust-to-shell transpiler with formal correctness guarantees
Bidirectional shell safety tool that transpiles Rust code to POSIX-compliant shell scripts or purifies legacy bash scripts through semantic AST transformations. Provides protection against common shell vulnerabilities and ensures deterministic, idempotent output. Differs from ShellCheck by understanding code intent and automatically rewriting scripts to be safe rather than just reporting issues.
Source
Repository: https://github.com/paiml/bashrs
Maintain Rash?
Let people know it's listed here — add the badge (live metrics, light/dark aware) or a plain link to your README or docs.
[Rash on getagentictools](https://getagentictools.com/mcp/paiml-bashrs?ref=badge) Related mcp
ABI to MCP Generates MCP servers from smart contract ABIs for blockchain interaction.
Zebbern Kali Provides access to Kali Linux penetration testing tools through a Flask API, enabling reconnaissance, web security testing, Active
Solana Security Standard Scans Solana/Anchor code against the Solana Security Standard's 52 documented vulnerability-class rules, entirely locally.
Wireshark Network Analysis Integrates with Wireshark's tshark tool to capture and analyze network packets with configurable filters, SSL decryption support,
BugBounty Security Scanner Integrates 90+ security tools including Nuclei, Subfinder, Nmap, SQLMap, and OSINT platforms like Shodan and VirusTotal to provide
OSV Vulnerability Database Integrates with the Open Source Vulnerabilities (OSV) database to enable querying vulnerabilities by package versions, commits, or