1
Published Tools
3
Total Stars
0
Weekly Downloads
0
GitHub Followers
1
Public Repos
100/100
Avg Security
Published Tools
1 MCP Serveracross 1 categoryDeep-LCF
A
Isabelle/HOL as a concurrent service: a pool of warm PIDE sessions behind a REST API, with leases, memory-aware admission, sledgehammer on every sorry, and MCP servers for LLM agents.
...moreMCP Serveruncategorised
31 dir