Xu Qiyuan

@xqyww123

Nanyang Technological University qiyuan.me On GitHub since March 2013

Published Tools

Total Stars

Weekly Downloads

GitHub Followers

Public Repos

Published Tools

1 MCP Serveracross 1 category

MCP server bridging AI agents with the Isabelle proof assistant via its LSP/PIDE interface

MCP Serveruncategorised

2 dirs