1
Published Tools
0
Total Stars
901
Weekly Downloads
1
GitHub Followers
3
Public Repos
Published Tools
1 MCP Serveracross 1 categoryatp-lptp-mcp-server
thierrymarianne
MCP server for LPTP (Logic Program Theorem Prover) — proof verification, tactic application, and definition querying
MCP Serveruncategorised
901/wk1 dir