3 skills found
PDFMathTranslate / PDFMathTranslate[EMNLP 2025 Demo] PDF scientific paper translation with preserved formats - 基于 AI 完整保留排版的 PDF 文档全文双语翻译，支持 Google/DeepL/Ollama/OpenAI 等服务，提供 CLI/GUI/MCP/Docker/Zotero
andyzengmath / quantum-loopSpec-driven autonomous development loop for Claude Code. Combines structured PRD generation, dependency DAG execution, two-stage review gates, and Iron Law verification.
SHSharkar / MCP-MathematicsA comprehensive Model Context Protocol (MCP) server that turns any AI assistant into a powerful mathematical computation engine.
