Hans Stuffer
@hans-stuffer
Imperial College London London, UK On GitHub since April 2022
1
Published Tools
1
Total Stars
0
Weekly Downloads
0
GitHub Followers
4
Public Repos
Published Tools
1 MCP Serveracross 1 categoryHans-Stuffer
Neurosymbolic toolkit for Claude Code: a theorem prover, symbolic math, a constraint solver, and symbolic execution, wired in so the agent proves code instead of guessing.
...moreMCP Serveruncategorised
11 dir