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
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
Aut_Sci_PPt is an automated agent designed to convert academic papers (PDF) or structured text into professional, presentation-ready PowerPoint files (.pptx). It is specifically optimized for graduate
SkillMIT★ 121No 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
Official Agent Skill for building Molnify apps - turn Excel/Google Sheets formulas into spreadsheet-driven web apps. Create from scratch, convert existing spreadsheets, validate and style. Works with
SkillApache-2.0★ 4Few starsNo key
MCP server for Excel automation via xlwings COM. Works with DRM-protected files.
PythonMIT★ 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
Finds the habits that make text read as machine-written, removes them, and checks that every fact survived. Local, no API key.
SkillMIT★ 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
Claude and Codex Agent Skill (plus standalone CLI) that audits existing Excel spreadsheets and financial models for correctness defects: formula errors, broken references, off-by-one ranges, totals th
SkillMIT★ 10No key
Who stands behind it
