0
—
In review
Synced today
What it does
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
MCP connection profile
Model Context Protocol
Connects external capabilities to an MCP client.
Keep exploring
More options in Automation.
Claude Code · Codex · MCP clients
Agent compatibility
Compatibility has not been reviewed for this listing yet. Check the publisher documentation before installing.
Server setup
Installation command not captured yet
Check the project’s source documentation for the current setup steps.
Use the configuration and transport documented by the server publisher; MCP setup differs between clients.
mathlas is organized in the Uncategorized category. Compare its source, install method, and compatibility before adding it to your workflow.
Third-party agent tools may access source code, credentials, or browser sessions. Read the source documentation and use the minimum permissions needed.
Community listing
JS API for Yahoo Finance
