MCP servers and skills: search, filter by where they run, and compare.
Excel MCP server: let AI (Claude, Cursor, Codex) create and edit Excel files with charts, PivotTables, slicers and formulas. No Excel required.
PythonMIT★ 4.2kNo key
[EMNLP 2025 Demo] PDF scientific paper translation with preserved formats - 基于 AI 完整保留排版的 PDF 文档全文双语翻译，支持 Google/DeepL/Ollama/OpenAI 等服务，提供 CLI/GUI/MCP/Docker/Zotero
PythonAGPL-3.0★ 38kNo key
Neurosymbolic Forge — an MCP server that turns concepts into verifiable, traceable formulas via deterministic symbolic derivation with provenance. 89 tools, 10-gate verification harness.
PythonApache-2.0★ 4Few starsNo key
Annota — AI-Powered Paper Annotation MCP Server. Reads PDFs, highlights findings, explains formulas, writes structured notes.
PythonMIT★ 20No key
PythonApache-2.0★ 225No key
PythonMIT★ 3Few starsNo key
Comprehensive startup valuation library (80+ formulas) with an MCP server and AI-agent skills — scorecard, VC method, Black-Scholes, SaaS metrics, and more
PythonMIT★ 2Few starsNo key
MCP server for the Coda API — 54 tools, 12 resources, 5 prompts for docs, pages, tables, rows, formulas, permissions, publishing and automations. MCP 2026-07-28 (MCP 2.0); run with writes or locked re
PythonMIT★ 2Few starsNeeds a key
MCP server that lets AI agents SEE embedded images inside Excel files — full text + image extraction for .xlsx/.xlsm
PythonMIT★ 20No key
Parse, translate, prove and model-check logic formulas in Unicode notation: first-order, modal, description and higher-order logic, one API over a dozen provers, and an MCP server
PythonMITFew starsNo key
AI-powered trading research platform. Test any idea on stocks, futures, and crypto with event studies, backtesting, and statistical validation. MCP server with 8 tools. pip install varrd.
PythonMIT★ 24No key
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc
PythonMIT★ 47No key
MCP server for Excel automation via xlwings COM. Works with DRM-protected files.
PythonMIT★ 1Few starsNo key
MCP server for AI agents to analyze Excel spreadsheets through atomic operations. Like SQL for Excel. Fast, accurate, and efficient. No context overflow.
PythonAGPL-3.0★ 47No key
Read and edit Excel workbooks with your AI assistant, and know which numbers are calculated, cached or missing.
PythonAGPL-3.0★ 1Few starsNo key
Intangible asset valuation library (124+ formulas) with a 14-tool MCP server and AI-agent skills — IP, technology, customer, goodwill, PPA, impairment
PythonMIT★ 1Few starsNo key
🏥 MCP Server with 121 validated medical calculators for AI agents. DDD architecture, evidence-based formulas with PMID citations. Supports Claude, GPT, and other LLM integrations.
PythonApache-2.0★ 4Few starsNo key
Local-first MCP tool that converts PDFs into polished standalone card-based HTML readers
PythonMIT★ 2Few starsNo key
PythonBSD-3-Clause★ 3Few starsNo key
Deterministic Brotato theorycrafter you chat with — an MCP server. Facts + math, no baked-in opinions.
PythonMITFew starsNo key
This MCP server integrates with your Google Drive and Google Sheets, to enable creating and modifying spreadsheets.
PythonMIT★ 1.0kNo key
Conversion from Excel to structured JSON (tables, shapes, charts) for LLM/RAG pipelines, and autonomous Excel reading/writing by AI agents via CLI and MCP integration.
PythonBSD-3-Clause★ 203No key
The safe way to let AI edit your Numbers, Keynote and Pages files. Designed decks from your data and brand, checked as rendered; Arabic/RTL-ready; every change backed up, verified and undoable. MCP se
PythonMIT★ 2Few starsNo key
Who stands behind it
