A community-driven registry for Claude, Cursor, Windsurf, Cline & more. Not affiliated with Anthropic.
4 packages found
MCP server for Scholar Sidekick — resolve any scholarly identifier (DOI, PMID, PMCID, ISBN, arXiv, ISSN, ADS, WHO IRIS)
数学建模竞赛完整工具链：从拿到赛题到交出论文，一条龙解决。 覆盖 国赛 CUMCM（A/B/C） 和 美赛 MCM/ICM（A-F） 全部题型。
Comprehensive open-source library of AI research and engineering skills for any AI model. Package the skills and your cl
Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicab