Question 1

What is the io.github.Archerkattri/mathlas MCP server?

Accepted Answer

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

Question 2

How do I connect to io.github.Archerkattri/mathlas?

Accepted Answer

io.github.Archerkattri/mathlas supports the stdio transport and runs via uvx. Add it to your MCP client configuration to expose its tools to your AI agent.

Question 3

Does io.github.Archerkattri/mathlas require authentication?

Accepted Answer

io.github.Archerkattri/mathlas does not require authentication ("none").

io.github.Archerkattri/mathlas

Details

Packages

FAQ