Skip to main content
Glama
Archerkattri

mathlas

by Archerkattri
OverviewSchemaSourceRelated ServersDiscussionsAdmin
Python
Local

Related Servers

Alternatives to mathlas

No user-submitted related servers found.

    Related Servers

    • TheoremSearch-MCP

      FDscend
      A
      license
      Not graded
      quality
      C
      maintenance
      An MCP server for semantic search over 9.27 million mathematical statements from sources like arXiv and Stacks Project, offering 5 tools for filtered search, citation weighting, and dependency graph traversal.
      MIT

    • pycodemath

      cybersora9
      A
      license
      Not graded
      quality
      A
      maintenance
      Provides a token-efficient exact math engine for AI agents, enabling computation of derivatives, integrals, equations, and optimized Python/NumPy code via a single MCP tool.
      4
      MIT

    • leanscreen

      ibrahimmian36
      F
      license
      A
      quality
      B
      maintenance
      A calibrated faithfulness screen for informal↔Lean 4 statement pairs, served over MCP. It provides deterministic checks and deep LLM-based analysis to help draft Lean statements.
      2
      6
      -

    • SymKit

      LBurny
      A
      license
      B
      quality
      B
      maintenance
      MCP server for symbolic computation that enables AI agents to perform step-by-step derivations, transform formulas, and verify results with full provenance, combining natural language with formal mathematical operations.
      41
      1,408 PyPI
      12
      Apache 2.0

    • codecalc

      The-40-Thieves
      A
      license
      A
      quality
      A
      maintenance
      An MCP server that lets AI models run code in 31 languages, evaluate symbolic math and logic problems, and measure complexity—exposed as 48 tools for execution, session management, translation, optimization, and more.
      2
      49
      232 PyPI
      3
      Apache 2.0
    Deploy Server
    One endpoint for every MCP toolRayrun runs every MCP server behind one URL and holds the credentials. Each call is decided per client, tool, and argument, then recorded.ray.runAd

    TDQS

    A4.5/5.0

    Scored across 12 tools

    Disambiguation5/5

    Each tool has a distinct purpose: different types of search (existing math, formal math, web directive), identification (constants, sequences, conjectured relations), verification (formal and numeric), and support (add finding, checklist, scaffold, program search). No two tools appear to do the same thing; descriptions clarify boundaries.

    Naming Consistency4/5

    Most tool names follow a verb_noun pattern (e.g., add_finding, identify_constant, search_existing_math). A few deviate: applicability_checklist (adjective_noun), conjecture_relation (noun_noun), funsearch (blend), and mapping_scaffold (gerund_noun). This is mostly consistent with minor exceptions that do not hinder understanding.

    Tool Count5/5

    With 12 tools, the server is well-scoped for a mathematical assistant. Each tool covers a necessary operation (search, identification, verification, support) without being excessive or sparse. The count feels appropriate for the domain.

    Completeness5/5

    The tool set covers the full workflow: searching for existing results (both natural language and formal), identifying unknowns (constants, sequences), conjecturing relations, verifying claims (formally and numerically), and applying results (checklist, scaffold). There are no obvious gaps; it provides a comprehensive surface for mathematical problem-solving.

    Maintenance

    ActivitySlowing
    ResponsivenessNo issues

    Resources