io.github.Archerkattri/mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Servidor MCP · de Archerkattri
Resumo
io.github.Archerkattri/mathlas é um servidor MCP publicado por Archerkattri. Marketplaces que lemos e que o listam: 1 (Official MCP Registry). Vimos pela primeira vez em 2026-10-11 e não registramos mudanças desde então. Conforme nossa passagem pelos marketplaces em 2026-10-13.
O que pede
- Roda na sua máquina
- Configurações: 2
O que declara, pede e executa, por completo
Instale apenas plugins de desenvolvedores em quem você confia. Mostramos o que os marketplaces publicam e não testamos plugins.
Funciona com
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
Um link de um clique abre o cliente, que pede confirmação antes de adicionar o servidor.
Pelos marketplaces que o listam e pelo transporte MCP que declara, conforme cada cliente documenta. Não testamos plugins.
Conectar
Comandos e configurações gerados apenas a partir do que os marketplaces declaram. Não os executamos por você e não testamos plugins.
Como servidor MCP local: pacote PyPI
Gerado a partir do que Official MCP Registry declara.
claude mcp add --transport stdio mathlas -- uvx mathlas-mcp[mcp_servers.mathlas]
command = "uvx"
args = ["mathlas-mcp"]{
"mcpServers": {
"mathlas": {
"command": "uvx",
"args": [
"mathlas-mcp"
]
}
}
}Configurações opcionais que também indica: MATHLAS_INDEX, MATHLAS_SEED.
Onde está publicado
| Marketplace | Status | Versão | Números | Verificado | Visto pela primeira vez |
|---|---|---|---|---|---|
| Official MCP Registry (Abrir o registro) | Listado | 1.5.0 | Forks (GitHub): 1 Estrelas (GitHub): 13 |
Sem marcação |
Cada número é do próprio marketplace e nunca é somado entre marketplaces. Um marketplace que não publica números não mostra nenhum: sem número não é zero.
O que mudou
Nada mudou neste plugin desde que começamos a acompanhá-lo.
Plugins semelhantes
Produtos cujos próprios nomes, descrições, ferramentas e skills são os mais próximos deste pelo significado, em todos os marketplaces que lemos. A proximidade é ordenada apenas dentro desta lista.
-
Exact arithmetic for AI agents. Two independent engines cross-check every result.
-
math-solver-ai-mcp io.github.CSOAI-ORG/math-solver-ai-mcp
Math Solver Ai MCP Server by MEOK AI Labs
-
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
-
arithym xyz.arithym/arithym
Precision math engine for AI agents. 203 exact methods. Zero hallucination.
-
agentic-research io.github.TheAiSingularity/agentic-research
Local research agent that verifies its own answers. Runs on Gemma 3 4B + Ollama, $0/query.
-
Google AI search and documentation tools for MCP clients using Vertex AI or the Gemini API.
-
mcp ai.llmse/mcp
Public MCP server for the LLM Search Engine
-
sagemath-mcp-server io.github.justice8096/sagemath-mcp-server
MCP server wrapping SageMath's full computer algebra system — 10 symbolic-math tools for LLMs.
-
AI predictions, model comparison, research and web search from an autonomous AI running 24/7.
-
Deep research assistant that checks its citations against the sources and keeps what it found.
Plugins semelhantes por marketplace
A mesma pergunta feita a cada marketplace separadamente: existe lá um equivalente deste plugin?
Listado em Claude Code: claude-plugins-community (5)
-
Agent Archive connects Claude to a community knowledge base of agent operational learnings — fixes, workarounds, environment quirks, API behaviors, and workflows contributed by…
-
Find the right NVIDIA skill for GPU acceleration, CUDA, AI agents, data loading, training, inference, robotics, Physical AI, Omniverse, simulation, and other NVIDIA-powered…
-
Cross-model AI agent communication protocol. Connect Claude, Codex, and Gemini agents through a shared file-based messaging layer. Features include: control tower orchestration…
-
Search, browse, and install MCP servers, agents, skills, prompts, and plugins from the conduitAI catalog — directly from Claude Code.
-
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…
Listado em Claude Code: claude-plugins-official (5)
-
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…
-
Solve competition math (IMO, Putnam, USAMO) with adversarial verification that catches what self-verification misses. Fresh-context verifiers attack proofs with specific failure…
-
Find the right NVIDIA skill for GPU acceleration, CUDA, AI agents, data loading, training, inference, robotics, Physical AI, Omniverse, simulation, and other NVIDIA-powered…
-
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…
-
Skills for working with Langfuse, the open-source LLM engineering platform for tracing, prompt management, and evaluation.
Listado em Claude: knowledge-work-plugins (5)
-
Skills for working with Langfuse, the open-source LLM engineering platform for tracing, prompt management, and evaluation.
-
Build multimodal AI applications with Pixeltable -- tables, computed columns, embedding search, UDFs, tool-calling agents, and 25+ AI provider integrations.
-
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…
-
DataRobot skills for AI/ML workflows — model training, deployment, predictions, feature engineering, monitoring, explainability, data preparation, App Framework CI/CD, and…
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
Listado em Codex: openai-curated (openai/plugins) (5)
-
Skills for NVIDIAs ecosystem spans GPU acceleration, CUDA, AI agents, inference, robotics, Physical AI, Omniverse, and simulation. This plugin helps you understand the pieces…
-
Build with OpenAI APIs, Agents SDK, and ChatGPT Apps, and create and save OpenAI API keys from Codex.
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
Predict structures, screen molecules and proteins, and design binders.
-
General life-sciences research workflows with query routing, evidence synthesis, and optional parallel subagent analysis across genetics, omics, biology, chemistry, structure…
Listado em Community GitHub marketplaces (5)
-
Shared session bus so Cursor can hand off with Claude, Codex, Grok, and friends.
-
A sanctuary for AI agents and humans: attend a service, reflect, read, search, and ask. No auth.
-
Skills for adding DeepEval evaluations, tracing, datasets, Confident AI reports, and iterative improvement loops to AI applications.
-
Accurate API model IDs, pricing, and specs for 46 models across 7 AI providers.
-
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…
Listado em Copilot CLI: github/awesome-copilot (5)
-
Three-layer verification pipeline for AI output. Extracts claims, finds sources, and flags hallucination risks so humans can verify before acting.
-
Run a lightweight, role-separated AI development team with flexible tools, developer-selected models, proportionate planning, and optional QA.
-
Task Researcher and Task Planner for intermediate to expert users and large codebases - Brought to you by microsoft/edge-ai
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
-
Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.
Listado em Copilot CLI: github/copilot-plugins (5)
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
workiq
Query Microsoft 365 data with natural language — emails, meetings, documents, Teams messages, and more.
-
mcp-apps
Generate MCP App widgets for MCP tools. Produces self-contained HTML widgets using the MCP Apps protocol.
-
Build Power Apps Canvas Apps using the Canvas Authoring MCP server.
-
Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.
Listado em Cursor: cursor/plugins (5)
-
Iterative self-referential AI loops using the Ralph Wiggum technique.
-
Incremental transcript-driven memory updates for AGENTS.md using high-signal bullet points only.
-
Search company knowledge and draft verified answers.
-
Consult a stronger model before major decisions, when stuck, and before declaring done.
-
playwright-mcp io.github.microsoft/playwright-mcp
Playwright Tools for MCP
Listado em Docker MCP Catalog (5)
-
Connect your chat repl to wolfram alpha computational intelligence.
-
Connector for Perplexity API, to enable real-time, web-wide research.
-
The Official Model Context Protocol (MCP) server for Kagi Search & other tools.
-
Discover and connect to a curated marketplace of MCP servers for extending AI agent capabilities.
-
Production-ready RAG service to search and retrieve data from your documents.
Listado em Official MCP Registry (5)
-
Exact arithmetic for AI agents. Two independent engines cross-check every result.
-
math-solver-ai-mcp io.github.CSOAI-ORG/math-solver-ai-mcp
Math Solver Ai MCP Server by MEOK AI Labs
-
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
-
arithym xyz.arithym/arithym
Precision math engine for AI agents. 203 exact methods. Zero hallucination.
-
agentic-research io.github.TheAiSingularity/agentic-research
Local research agent that verifies its own answers. Runs on Gemma 3 4B + Ollama, $0/query.
Encontrados pelo significado, não por código ou repositório em comum: plugins semelhantes continuam sendo produtos distintos, e isto não é uma avaliação nem uma recomendação.
Este plugin é seu?
Adicione-o aos seus projetos e prove que o mantém com um arquivo no repositório, um arquivo no seu domínio ou um registro DNS. Você recebe alertas quando um marketplace o publica, o remove, muda a marca de verificado ou o que ele pede, e o endpoint remoto passa a ser monitorado como um serviço web.
Dados de Official MCP Registry. Os números vêm das nossas próprias passagens regulares pelos marketplaces, última leitura em . Não publicamos dados de contato dos editores de plugins.