benhaotang

2 skills across 2 repos20 repo starsGitHub

a cli/mcp server tool for managing mcp server json config file with version control, profiles and multi-client support

MCP server for checking Mathematica documentation via local MMA installation