Satyawan Singh
@ss1738
I build systems that check themselves: formal verification, conformal AI, zero-knowledge compliance.
Leicester On GitHub since January 2025
2
Published Tools
2
Total Stars
0
Weekly Downloads
4
GitHub Followers
55
Public Repos
100/100
Avg Security
Published Tools
2 MCP Serversacross 2 categoriesss1738
A runtime gate for coding agents: an MCP server that blocks the tool calls that wreck a repo (force-push main, rm -rf, secret exfil, CI wipe) and lets real work through. Machine-checked git-branch core. Tested on 3,790 real commands.
...moreMCP Serverai
11 dir