Mathlas

io.github.Archerkattriv1.5.0Updated Sep 25, 2026

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

VerifiedSTDIODesktop onlyAI & MLWeb Search & Scraping

Installation

In SourceWeft

  1. Open Mathlas in the dashboard and add it to a workspace.
  2. Enable the server for the chats that should use its tools.

Desktop only via STDIO. STDIO servers start a local process, so they need the SourceWeft desktop host.

Other MCP clients

Follow the launch instructions in the repository.

Tools

0
Tool metadata has not been indexed yet.

Version history

1
  1. v1.5.0LatestSep 16, 2026