io.github.paiml/rash
Transpile Rust code to POSIX-compliant shell scripts with formal correctness guarantees
CodeThreat AppSec
Full SAST + SCA agentic security analysis for MCP servers and Skills.