Publish Sign in

Servers by archerkattri

Scanned where there is a package or repository to read, and every release diffed against the tool surface we already hold. Every figure on a card is counted from this marketplace's own rows.

Browse stacks Start publishing

1 MCP server

Scanned where there is a package or repository to read — the grade is on each server's page
Works with Codex CLIBy archerkattri
MA
Mathlas
archerkattri·Research

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

10/day
Free
Compare
tick one more