MCP.Market

Publisher

Archerkattri

1 server listed under io.github.Archerkattri · 1 scanned and ranked · 0 reviews

github.com/Archerkattri

Category rankings show at most two servers from any one publisher, so no single account can fill a list. Everything Archerkattri has listed is on this page.

Scanned and ranked (1)

  • Mathlas
    by Archerkattri
    A

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

    No reviews yet
    local · pypi1249/wkFree

Is this you? Claim your listings to reply to reviews and keep them current. Claiming never changes a grade or a ranking.