LODA

This MCP server provides fast, programmatic access to the LODA language tooling and OEIS-based integer sequences. You can query, analyze, and contribute LODA programs and sequences through a robust, extensible API, enabling seamless integration into your data science pipelines or research workflows.

How to use

You interact with this MCP server through a client that understands the MCP protocol. Use the available endpoints to explore LODA programs and sequences, run evaluations, and manage contributions. Practical patterns include: querying a program by ID to inspect its implementation, searching for programs or sequences by keyword, evaluating a LODA program to verify correctness, submitting new programs to help the community, and retrieving project-wide statistics, keywords, or contributor activity.

Each tool focuses on a specific capability. For example, you can get details about a LODA program using its ID, search for programs with particular keywords, evaluate programs to test behavior, or submit new programs for inclusion. You can also fetch details about a sequence by ID, search sequences by description or ID, and obtain project metadata such as top submitters and overall stats. Use these capabilities to build automated checks, dashboards, or integration tests for your research projects.

How to install

Prerequisites You need Node.js 18.0.0 or higher and npm 8.0.0 or higher.

# Install dependencies
npm install

# Build the server
npm run build

Test the installation and run locally. You can first check connectivity, then start the server.

npm run test-connection  # Test API connectivity
npm start                # Start the server locally

To run the server in HTTP server mode on a specific port, use:

npm start -- -p 8080

Development workflow involves auto-rebuilds, type checking, and clean builds. Use these commands as needed during development.

# Development with auto-rebuild
npm run dev

# Type checking
npm run type-check

# Clean build
npm run clean && npm run build

Configuration

Configure the MCP client integration as shown below to connect to the LODA MCP server. This example demonstrates integrating with Claude Desktop, which can manage MCP servers on macOS and Windows.

{
  "mcpServers": {
    "loda-api": {
      "command": "node",
      "args": ["/absolute/path/to/your/loda-mcp/build/index.js"],
      "env": {
        "LODA_API_BASE_URL": "https://api.loda-lang.org/v2"
      }
    }
  }
}

Environment variables

LODA_API_BASE_URL specifies the LODA API endpoint to override the default. The default endpoint is https://api.loda-lang.org/v2.

Available tools

get_program

Get details about a LODA program by ID to analyze program implementations.

search_programs

Search for LODA programs by keyword or ID to discover relevant implementations.

eval_program

Evaluate a LODA program to test and validate its correctness.

submit_program

Submit a new LODA program to contribute additional implementations.

get_sequence

Get details about an integer sequence by ID for research and reference.

search_sequences

Search for integer sequences to find items by description or ID.

get_stats

View LODA project summary statistics to understand scope and growth.

get_keywords

List all keywords and their descriptions to explore available terms.

get_submitters

List top contributors by number of submitted programs.