Skip to main content
Glama
Sign In
LODA API MCP Server

LODA API MCP Server

Official
by loda-lang
OverviewSchemaSourceRelated ServersDiscussionsAdmin
JavaScript
Remote

Related Servers

Alternatives to LODA API MCP Server

No user-submitted related servers found.

    Related Servers

    • oeis-mcp

      guillochon
      A
      license
      A
      quality
      C
      maintenance
      Enables fast local searching and analysis of OEIS sequences through MCP clients, including term/text search, transform identification, recurrence guessing, and formula-based term extension.
      11
      MIT

    • oeis-mcp-server

      cyanheads
      A
      license
      Not graded
      quality
      B
      maintenance
      Enables identifying integer sequences from observed terms, searching the On-Line Encyclopedia of Integer Sequences with its native query syntax, and reading entry formulas, programs, comments, b-file terms, and cross-references. Runs over STDIO or Streamable HTTP with no API key, returning linked, provenance-bearing results.
      93 npm
      1
      Apache 2.0

    • mcp-oeis

      pipeworx-io
      A
      license
      Not graded
      quality
      B
      maintenance
      Enables searching and retrieving integer sequences from the On-Line Encyclopedia of Integer Sequences by passing a list of terms, an A-number, or free-text keywords. Returns full sequence records including names, terms, comments, formulas, keywords, offset, and author, with paginated search results.
      640 npm
      MIT

    • mathlas

      Archerkattri
      A
      license
      A
      quality
      B
      maintenance
      Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.
      12
      40 PyPI
      13
      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.
      51
      32 PyPI
      5
      Apache 2.0
    Deploy Server
    Claude Code, inside the Godot 4 editorFlockbay puts an AI agent in the real Godot 4 editor: it writes GDScript, runs your game and fixes what breaks. Free, or bring your own Claude Code or Codex.flockbay.comAd

    TDQS

    A3.5/5.0

    Scored across 8 tools

    Disambiguation5/5

    Every tool has a clearly distinct purpose with no ambiguity. For example, eval_program evaluates programs, get_program and get_sequence retrieve specific resources, search_programs and search_sequences perform searches, and submit_program handles submissions. The descriptions clearly differentiate between programs and sequences, preventing misselection.

    Naming Consistency5/5

    All tool names follow a consistent verb_noun pattern using snake_case, such as eval_program, get_program, search_sequences, and submit_program. This predictability makes it easy for agents to understand and use the tool set without confusion from mixed conventions.

    Tool Count5/5

    With 8 tools, the server is well-scoped for managing LODA programs and sequences. Each tool earns its place by covering distinct operations like evaluation, retrieval, searching, submission, and statistics, without being overly sparse or bloated for the domain.

    Completeness4/5

    The tool set provides strong coverage for core workflows, including CRUD-like operations (e.g., get, search, submit) and evaluation. A minor gap is the lack of update or delete tools for programs or sequences, but agents can still work effectively with the available tools for most tasks in the LODA domain.

    Maintenance

    ActivityInactive
    ResponsivenessNo recent community issues

    Resources