LODA API MCP Server
OfficialRelated Servers
Alternatives to LODA API MCP Server
No user-submitted related servers found.
Related Servers
- AlicenseNot gradedqualityAmaintenanceEnables 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.293 npm1Apache 2.0
- AlicenseNot gradedqualityBmaintenanceEnables 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.25 npmMIT
- AlicenseAqualityBmaintenanceAirtight 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.1270 PyPI13Apache 2.0
- FlicenseNot gradedqualityCmaintenanceEnables agent builders to run deterministic, integer-only mathematical operations while refusing floats, with sealed and verifiable integer-based results.2-
- AlicenseAqualityAmaintenanceAn 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.51181 PyPI4Apache 2.0
- AlicenseAqualityCmaintenanceProvides 21 mathematical tools across 6 domains including basic calculations, array operations, statistics, financial mathematics, linear algebra, and calculus. Supports batch execution for complex multi-step workflows with intelligent dependency resolution.216MIT
TDQS
Scored across 8 tools
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.
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.
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.
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.