Thanks to visit codestin.com
Credit goes to github.com

Skip to content

loda-lang/loda-mcp

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

23 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

LODA MCP Server

A Model Context Protocol (MCP) server for the LODA Language API, providing seamless access to the LODA language and integer sequences from the On-Line Encyclopedia of Integer Sequences® (OEIS®).

Available Tools

Tool Description Primary Use Case
get_program Get details about a LODA program by ID Analyze program implementations
search_programs Search for LODA programs Find programs by keyword or ID
eval_program Evaluate a LODA program Test and validate program correctness
submit_program Submit a new LODA program Contribute new implementations
get_sequence Get details about an integer sequence by ID Research mathematical sequences
search_sequences Search for integer sequences Find sequences by keyword or ID
get_stats View LODA project summary statistics Understand project scope and growth
get_keywords List all keywords and their descriptions Explore available keywords
get_submitters List all submitters and their number of programs See top contributors

Quick Start

Prerequisites

  • Node.js 18.0.0 or higher
  • npm 8.0.0 or higher

Installation

  1. Install dependencies:

    npm install
  2. Build the server:

    npm run build
  3. Test the installation:

    npm run test-connection  # Test API connectivity
    npm start                # Start the server locally
  4. Run in HTTP server mode:

    npm start -- -p 8080

Development Workflow

# Development with auto-rebuild
npm run dev

# Type checking
npm run type-check

# Clean build
npm run clean && npm run build

Configuration

Claude Desktop Integration

Add to your Claude Desktop configuration file:

macOS: ~/Library/Application Support/Claude/claude_desktop_config.json
Windows: %APPDATA%\Claude\claude_desktop_config.json

{
  "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

Variable Description Default
LODA_API_BASE_URL LODA API endpoint override https://api.loda-lang.org/v2

About

LODA MCP Server

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published