Ext Ops Panel
Открыть панель

io.github.Archerkattri/mathlas

Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.

MCP-сервер · от Archerkattri

Подключить Сравнить Это мой

Коротко

io.github.Archerkattri/mathlas: MCP-сервер, издатель Archerkattri. Витрин, которые мы читаем и где он опубликован: 1 (Official MCP Registry). Мы впервые увидели его 2026-10-11 и с тех пор изменений не фиксировали. Данные нашего прохода по витринам на 2026-10-12.

Что просит

  • Работает на вашем компьютере
  • Настроек: 2

Что объявляет, просит и запускает, полностью

Устанавливайте плагины только от разработчиков, которым доверяете. Мы показываем то, что публикуют витрины, и не проверяем плагины.

Подключить

Команды и конфигурации собраны только из того, что объявляют витрины. Мы не запускаем их за вас и не проверяем плагины.

Как локальный MCP-сервер: пакет PyPI

Собрано из того, что объявляет Official MCP Registry.

Claude CodeТерминал
claude mcp add --transport stdio mathlas -- uvx mathlas-mcp
Codex~/.codex/config.toml
[mcp_servers.mathlas]
command = "uvx"
args = ["mathlas-mcp"]
Cursor~/.cursor/mcp.json
{
  "mcpServers": {
    "mathlas": {
      "command": "uvx",
      "args": [
        "mathlas-mcp"
      ]
    }
  }
}

Необязательные настройки, которые он тоже перечисляет: MATHLAS_INDEX, MATHLAS_SEED.

Аргументы запуска мы не храним. Если серверу они нужны, их называет его собственная документация.

Где опубликован

ВитринаСтатусВерсияЧислаПроверенВпервые замечен
Official MCP Registry (Открыть запись реестра) Опубликован 1.5.0 Форки (GitHub): 1
Звёзды (GitHub): 13		 Не помечен

Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.

Что менялось

С тех пор как мы следим за плагином, ничего не менялось.

Похожие плагины

Продукты, чьи собственные названия, описания, инструменты и скиллы ближе всего по смыслу к этому, на всех витринах, которые мы читаем. Близость упорядочена только внутри этого списка.

  • exact-calc

    Exact arithmetic for AI agents. Two independent engines cross-check every result.

    от flacales · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • math-solver-ai-mcp io.github.CSOAI-ORG/math-solver-ai-mcp

    Math Solver Ai MCP Server by MEOK AI Labs

    от CSOAI-ORG · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • Axiom — Advanced Math

    Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas

    от tufantunc · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • arithym xyz.arithym/arithym

    Precision math engine for AI agents. 203 exact methods. Zero hallucination.

    от arithym.xyz · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • agentic-research io.github.TheAiSingularity/agentic-research

    Local research agent that verifies its own answers. Runs on Gemma 3 4B + Ollama, $0/query.

    от TheAiSingularity · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • Google AI Search MCP

    Google AI search and documentation tools for MCP clients using Vertex AI or the Gemini API.

    от shariqriazz · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • mcp ai.llmse/mcp

    Public MCP server for the LLM Search Engine

    от llmse.ai · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • sagemath-mcp-server io.github.justice8096/sagemath-mcp-server

    MCP server wrapping SageMath's full computer algebra system — 10 symbolic-math tools for LLMs.

    от justice8096 · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • Kai AGI - Autonomous AI Agent

    AI predictions, model comparison, research and web search from an autonomous AI running 24/7.

    от mcp.kai-agi.com · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • ResearchZosho

    Deep research assistant that checks its citations against the sources and keeps what it found.

    от Wyrdsekai · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

Похожие плагины по витринам

Тот же вопрос к каждой витрине по отдельности: есть ли там аналог этого плагина?

Есть на витрине Claude Code: claude-plugins-community (5)

  • agent-archive

    Agent Archive connects Claude to a community knowledge base of agent operational learnings — fixes, workarounds, environment quirks, API behaviors, and workflows contributed by…

    от agent-archive · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-community · Решает почти ту же задачу

  • NVIDIA Skills

    Find the right NVIDIA skill for GPU acceleration, CUDA, AI agents, data loading, training, inference, robotics, Physical AI, Omniverse, simulation, and other NVIDIA-powered…

    от NVIDIA · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-official, Claude Code: claude-plugins-community · Решает почти ту же задачу

  • tap

    Cross-model AI agent communication protocol. Connect Claude, Codex, and Gemini agents through a shared file-based messaging layer. Features include: control tower orchestration…

    от HUA-Labs · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-community · Решает почти ту же задачу

  • conduitai

    Search, browse, and install MCP servers, agents, skills, prompts, and plugins from the conduitAI catalog — directly from Claude Code.

    от conduit-technologies · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-community · Решает почти ту же задачу

  • consensus

    Break through difficult problems by gathering diverse AI perspectives in parallel. Consensus queries multiple AI providers concurrently — GPT-5.2, Gemini 3.1 Pro, and DeepSeek…

    от mark-kimura · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-community · Решает почти ту же задачу

Есть на витрине Claude Code: claude-plugins-official (5)

  • math-proof

    Two skills for hard mathematics problems, each ending in a self-contained proof.md: /math-proof:solo has the session work the problem itself in stages with a notes file…

    от Anthropic · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-official · Решает почти ту же задачу

  • math-olympiad

    Solve competition math (IMO, Putnam, USAMO) with adversarial verification that catches what self-verification misses. Fresh-context verifiers attack proofs with specific failure…

    от Anthropic · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-official · Решает почти ту же задачу

  • NVIDIA Skills

    Find the right NVIDIA skill for GPU acceleration, CUDA, AI agents, data loading, training, inference, robotics, Physical AI, Omniverse, simulation, and other NVIDIA-powered…

    от NVIDIA · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-official, Claude Code: claude-plugins-community · Решает почти ту же задачу

  • lumen

    Precise local semantic code search via MCP. Indexes your codebase with Go AST parsing, embeds with Ollama or LM Studio, and exposes vector search to Claude through an MCP server…

    от ory · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-official · Решает почти ту же задачу

  • langfuse

    Skills for working with Langfuse, the open-source LLM engineering platform for tracing, prompt management, and evaluation.

    от langfuse · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-official, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community · Решает почти ту же задачу

Есть на витрине Claude: knowledge-work-plugins (5)

  • langfuse

    Skills for working with Langfuse, the open-source LLM engineering platform for tracing, prompt management, and evaluation.

    от langfuse · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-official, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community · Решает почти ту же задачу

  • pixeltable

    Build multimodal AI applications with Pixeltable -- tables, computed columns, embedding search, UDFs, tool-calling agents, and 25+ AI provider integrations.

    от pixeltable · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-official, Claude: knowledge-work-plugins · Решает почти ту же задачу

  • exa

    Exa AI web search, deep research, and content extraction. Provides MCP tools and research skills for comprehensive web search, people discovery, company research, academic papers…

    от exa-labs · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-official, Official MCP Registry, Docker MCP Catalog, Claude: knowledge-work-plugins, Community GitHub marketplaces · Решает почти ту же задачу

  • datarobot-agent-skills

    DataRobot skills for AI/ML workflows — model training, deployment, predictions, feature engineering, monitoring, explainability, data preparation, App Framework CI/CD, and…

    от datarobot-oss · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-official, Claude: knowledge-work-plugins, Community GitHub marketplaces · Решает почти ту же задачу

  • figma

    Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…

    от figma · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-official, Official MCP Registry, Claude: knowledge-work-plugins, Copilot CLI: github/awesome-copilot · Решает почти ту же задачу

Есть на витрине Codex: openai-curated (openai/plugins) (5)

  • NVIDIA

    Skills for NVIDIAs ecosystem spans GPU acceleration, CUDA, AI agents, inference, robotics, Physical AI, Omniverse, and simulation. This plugin helps you understand the pieces…

    от NVIDIA · Пакет плагинов

    Опубликован: Codex: openai-curated (openai/plugins) · Решает почти ту же задачу

  • OpenAI Developers

    Build with OpenAI APIs, Agents SDK, and ChatGPT Apps, and create and save OpenAI API keys from Codex.

    от OpenAI · Пакет плагинов

    Опубликован: Codex: openai-curated (openai/plugins) · Решает почти ту же задачу

  • Plugin Eval

    Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.

    от OpenAI Codex · Пакет плагинов

    Опубликован: Codex: openai-curated (openai/plugins) · Решает почти ту же задачу

  • Boltz

    Predict structures, screen molecules and proteins, and design binders.

    от Boltz · Пакет плагинов

    Опубликован: Codex: openai-curated (openai/plugins) · Решает почти ту же задачу

  • Life Science Research

    General life-sciences research workflows with query routing, evidence synthesis, and optional parallel subagent analysis across genetics, omics, biology, chemistry, structure…

    от OpenAI · Пакет плагинов

    Опубликован: Codex: openai-curated (openai/plugins) · Решает похожую задачу

Есть на витрине Community GitHub marketplaces (5)

  • magents

    Shared session bus so Cursor can hand off with Claude, Codex, Grok, and friends.

    от abnegate · Пакет плагинов

    Опубликован: Community GitHub marketplaces · Решает почти ту же задачу

  • aChurch.ai

    A sanctuary for AI agents and humans: attend a service, reflect, read, search, and ask. No auth.

    от a-church-ai · MCP-сервер

    Опубликован: Official MCP Registry, Community GitHub marketplaces · Решает почти ту же задачу

  • DeepEval

    Skills for adding DeepEval evaluations, tracing, datasets, Confident AI reports, and iterative improvement loops to AI applications.

    от confident-ai · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-official, Community GitHub marketplaces · Решает почти ту же задачу

  • Model ID Cheatsheet

    Accurate API model IDs, pricing, and specs for 46 models across 7 AI providers.

    от aezizhu · MCP-сервер

    Опубликован: Official MCP Registry, Community GitHub marketplaces · Решает почти ту же задачу

  • exa

    Exa AI web search, deep research, and content extraction. Provides MCP tools and research skills for comprehensive web search, people discovery, company research, academic papers…

    от exa-labs · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-official, Official MCP Registry, Docker MCP Catalog, Claude: knowledge-work-plugins, Community GitHub marketplaces · Решает почти ту же задачу

Есть на витрине Copilot CLI: github/awesome-copilot (5)

  • doublecheck

    Three-layer verification pipeline for AI output. Extracts claims, finds sources, and flags hallucination risks so humans can verify before acting.

    от Awesome Copilot Community · Пакет плагинов

    Опубликован: Copilot CLI: github/awesome-copilot · Решает почти ту же задачу

  • ai-team-orchestration

    Run a lightweight, role-separated AI development team with flexible tools, developer-selected models, proportionate planning, and optional QA.

    от Denis Evdokimov · Пакет плагинов

    Опубликован: Copilot CLI: github/awesome-copilot · Решает почти ту же задачу

  • edge-ai-tasks

    Task Researcher and Task Planner for intermediate to expert users and large codebases - Brought to you by microsoft/edge-ai

    от Awesome Copilot Community · Пакет плагинов

    Опубликован: Copilot CLI: github/awesome-copilot · Решает почти ту же задачу

  • figma

    Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…

    от figma · Пакет плагинов

    Опубликован: Claude Code: claude-plugins-official, Official MCP Registry, Claude: knowledge-work-plugins, Copilot CLI: github/awesome-copilot · Решает почти ту же задачу

  • BLEA

    Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.

    от Nitmi · MCP-сервер

    Опубликован: Official MCP Registry, Copilot CLI: github/awesome-copilot · Решает почти ту же задачу

Есть на витрине Copilot CLI: github/copilot-plugins (5)

  • microsoft-365-agents-toolkit

    Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.

    от microsoft · Пакет плагинов

    Опубликован: Copilot CLI: github/copilot-plugins · Решает почти ту же задачу

  • workiq

    Query Microsoft 365 data with natural language — emails, meetings, documents, Teams messages, and more.

    от microsoft · Пакет плагинов

    Опубликован: Copilot CLI: github/copilot-plugins · Решает почти ту же задачу

  • mcp-apps

    Generate MCP App widgets for MCP tools. Produces self-contained HTML widgets using the MCP Apps protocol.

    от microsoft · Пакет плагинов

    Опубликован: Copilot CLI: github/copilot-plugins · Решает почти ту же задачу

  • canvas-apps

    Build Power Apps Canvas Apps using the Canvas Authoring MCP server.

    от microsoft · Пакет плагинов

    Опубликован: Copilot CLI: github/copilot-plugins · Решает почти ту же задачу

  • azure-devops-copilot-plugin

    Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.

    от microsoft · Пакет плагинов

    Опубликован: Copilot CLI: github/copilot-plugins · Решает почти ту же задачу

Есть на витрине Cursor: cursor/plugins (5)

  • Ralph Loop

    Iterative self-referential AI loops using the Ralph Wiggum technique.

    от Cursor · Пакет плагинов

    Опубликован: Cursor: cursor/plugins · Решает почти ту же задачу

  • Continual Learning

    Incremental transcript-driven memory updates for AGENTS.md using high-signal bullet points only.

    от Eric Zakariasson · Пакет плагинов

    Опубликован: Cursor: cursor/plugins · Решает почти ту же задачу

  • Guru

    Search company knowledge and draft verified answers.

    от Cursor · Пакет плагинов

    Опубликован: Cursor: cursor/plugins · Решает почти ту же задачу

  • Advisor

    Consult a stronger model before major decisions, when stuck, and before declaring done.

    от Cursor · Пакет плагинов

    Опубликован: Cursor: cursor/plugins · Решает почти ту же задачу

  • playwright-mcp io.github.microsoft/playwright-mcp

    Playwright Tools for MCP

    от microsoft · MCP-сервер

    Опубликован: Official MCP Registry, Claude Code: claude-plugins-official, Cursor: cursor/plugins, Docker MCP Catalog · Решает почти ту же задачу

Есть на витрине Docker MCP Catalog (5)

  • WolframAlpha

    Connect your chat repl to wolfram alpha computational intelligence.

    от SecretiveShell · MCP-сервер

    Опубликован: Docker MCP Catalog · Решает почти ту же задачу

  • Perplexity

    Connector for Perplexity API, to enable real-time, web-wide research.

    от perplexityai · MCP-сервер

    Опубликован: Docker MCP Catalog · Решает почти ту же задачу

  • Kagi Search

    The Official Model Context Protocol (MCP) server for Kagi Search & other tools.

    от kagisearch · MCP-сервер

    Опубликован: Docker MCP Catalog · Решает почти ту же задачу

  • OpenMesh

    Discover and connect to a curated marketplace of MCP servers for extending AI agent capabilities.

    от docker · MCP-сервер

    Опубликован: Docker MCP Catalog · Решает почти ту же задачу

  • Needle Remote

    Production-ready RAG service to search and retrieve data from your documents.

    от docker · MCP-сервер

    Опубликован: Docker MCP Catalog · Решает почти ту же задачу

Есть на витрине Official MCP Registry (5)

  • exact-calc

    Exact arithmetic for AI agents. Two independent engines cross-check every result.

    от flacales · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • math-solver-ai-mcp io.github.CSOAI-ORG/math-solver-ai-mcp

    Math Solver Ai MCP Server by MEOK AI Labs

    от CSOAI-ORG · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • Axiom — Advanced Math

    Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas

    от tufantunc · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • arithym xyz.arithym/arithym

    Precision math engine for AI agents. 203 exact methods. Zero hallucination.

    от arithym.xyz · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

  • agentic-research io.github.TheAiSingularity/agentic-research

    Local research agent that verifies its own answers. Runs on Gemma 3 4B + Ollama, $0/query.

    от TheAiSingularity · MCP-сервер

    Опубликован: Official MCP Registry · Решает почти ту же задачу

Найдено по смыслу, а не по общему коду или репозиторию: похожие плагины остаются разными продуктами, и это не обзор и не рекомендация.

Это ваш плагин?

Докажите, что поддерживаете плагин: файлом в его репозитории, файлом на вашем домене или DNS-записью. Вы будете получать уведомления, когда витрина добавит плагин, снимет его, изменит отметку verified или список того, что он просит, и сможете поставить его удалённый endpoint на мониторинг как веб-сервис.

Подтвердить владение Что умеет панель

Данные витрины Official MCP Registry. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.

Откуда данные: как устроен каталог