ShellMind-Guard

active

Compiler-grade multi-file security, business-logic & concurrency verifier in Rust. Traces cross-file taint via an O(V+E) Guard-Set Lattice (TS/JS/Go/Python/Rust), proves exploits in a Linux Bubblewrap sandbox, and exposes a stdio MCP server.

Code-only MCP server: no hosted endpoint, so you install and run it yourself. It is not probed, graded or counted in our reachability statistics.

Get it

Repository: github.com/qira-dev/ShellMind-Guard
License: Apache-2.0
Last update: 2026-11-14
GitHub stars: ★ 0

appsec bubblewrap concurrency mcp mcp-server race-condition ratatui rust sandbox sarif sast security

Listed in

github · source

Run this server as a hosted endpoint? Submit the endpoint and it moves to the remote directory, where it is probed and graded.