Kevin Kappelmann
@kappelmann
TU Munich, University of Sheffield Germany (Munich), United Kingdom (Sheffield) kappelmann.me On GitHub since March 2014
1
Published Tools
20
Total Stars
0
Weekly Downloads
30
GitHub Followers
18
Public Repos
100/100
Avg Security
Published Tools
1 MCP Serveracross 1 categorykappelmann
A
An MCP server interacting with Isabelle via Isabelle/PIDE
MCP Serveruncategorised
201 dir