Mathlas MCP Server

Name: Mathlas MCP Server
Author: Archerkattri

@Archerkattri

代码仓库主页

基本信息

分类

其他

许可证

Apache-2.0

传输方式

stdio

作者

Archerkattri

提交者

Krishi Attri

关于 Mathlas MCP Server

Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.

Mathlas MCP Server 配置

使用下面的配置,将此服务器添加到你的 MCP 客户端。

{
  "mcpServers": {
    "mathlas": {
      "command": "uvx",
      "args": [
        "mathlas-mcp"
      ]
    }
  }
}

Mathlas MCP Server 工具

工具列表暂未提供

当前收录暂时没有可展示的工具列表，不代表服务没有工具。请查阅项目文档了解支持的能力。

点击上方按钮,在临时沙箱中运行此服务器并实时获取工具列表。

其他分类下的更多 MCP 服务器

Lemon.io

lemon-io

Request dedicated senior developers to work on your project, write job descriptions, and prep technical interviews — all without leaving your Claude chat. Just describe what you need, and Lemon.io MCP does the rest. 1–3

Blender

ahujasid

Open-source MCP to use Blender with any LLM

23.6K

Codelf

unbug

A search tool helps dev to solve the naming things problem.

14.2K

DeepMark

DeepMark helps teachers deliver rapid, consistent marking with meaningful feedback for every student — in a fraction of the time. What once took a week, now takes one free period.

Figs, Relationship Expert

Figs O'Sullivan, LMFT

Couples therapist Figs O'Sullivan (LMFT, 17 years, endorsed by Sue Johnson, creator of EFT) inside your AI. Ask relationship questions answered from his clinical writing, name the pattern in a fight, get a three-step rep