The LODA API MCP Server enables comprehensive interaction with LODA programs and OEIS integer sequences through a full-featured API.
Explore integer sequences: Retrieve detailed information about specific OEIS sequences by their A-number identifiers or search using keywords and names
Discover LODA programs: Access individual LODA assembly language programs by ID or search using keywords with pagination support
Execute LODA programs: Run LODA code to compute sequence terms with configurable term count and offset
Submit new programs: Contribute LODA program implementations for specific sequences
Monitor project statistics: View summary statistics about the LODA project's scope, growth, and browse all contributors with their contribution counts
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®).
🌟 Overview
LODA (Lexicographical Order Descent Assembly) is an assembly language and computational model for integer sequences. This MCP server enables you to:
- 🔍 Explore integer sequences with rich metadata and formatting
- 🔧 Discover LODA programs that compute specific sequences
- ⚡ Execute programs in real-time and compute sequence terms
- 📊 Monitor project statistics
✨ Features
Core Capabilities
- OEIS-style Sequence Integration: Access any sequence with A-number formatting
- Program Discovery: Find and search LODA programs for sequences
- Real-time Execution: Run LODA programs and see results instantly
- Robust Error Handling: Comprehensive validation and error messages
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
- Install dependencies:
- Build the server:
- Test the installation:
Development Workflow
⚙️ 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
Environment Variables
Variable | Description | Default |
---|---|---|
LODA_API_BASE_URL | LODA API endpoint override | https://api.loda-lang.org/v2 |
📖 Usage Examples
🔢 Exploring OEIS Sequences
🔧 Working with LODA Programs
⚡ Running Programs
⛏️ Mining New Programs
📊 Project Statistics
🔧 API Reference
Tool Schemas
All tools use strict JSON schemas with proper validation. Example schemas:
get_sequence
search_sequences
get_program
search_programs
eval_program
submit_program
get_stats
get_keywords
get_submitters
Response Format
All responses include:
- Rich formatting with emojis and visual structure
- Clear status indicators
- Contextual information and helpful tips
- Proper error messages with actionable guidance
🏗️ Architecture
Core Components
Error Handling Strategy
- Input Validation: Strict parameter checking with clear error messages
- Network Resilience: Retry logic and connection error handling
- API Error Translation: Convert HTTP errors to meaningful user messages
- Graceful Degradation: Partial results when possible
🔍 Troubleshooting
Common Issues
Issue | Solution |
---|---|
Server won't start | Check Node.js version (18+), verify build completed |
API connection failed | Test with npm run test-connection , check firewall |
Tool not found | Verify tool name spelling, check MCP client connection |
Invalid parameters | Check parameter types match schema exactly |
Mining timeout | Use shorter max_runtime, check sequence exists |
Debug Mode
Health Checks
🤝 Contributing
Development Setup
- Fork the repository
- Create a feature branch:
git checkout -b feature/amazing-feature
- Make changes with proper TypeScript types
- Test thoroughly:
npm run type-check
- Submit a pull request
Code Standards
- TypeScript: Strict mode with full type coverage
- Error Handling: Always use McpError for user-facing errors
- Validation: Validate all inputs before API calls
- Documentation: Clear JSDoc comments for public methods
- Formatting: Consistent emoji usage and output structure
🔗 Resources
- LODA Language Website - Official LODA project
- OEIS Website - The On-Line Encyclopedia of Integer Sequences
- MCP Specification - Model Context Protocol docs
- LODA API Documentation - OpenAPI specification
📄 API Endpoints
Based on the official OpenAPI v2 specification:
Endpoint | Method | Description |
---|---|---|
/sequences/{id} | GET | Get integer sequence details |
/sequences/search | GET | Search integer sequences |
/programs/{id} | GET | Get LODA program details |
/programs/search | GET | Search LODA programs |
/programs/eval | POST | Evaluate a LODA program |
/programs/{id}/submit | POST | Submit a new LODA program |
/stats/summary | GET | Get statistics summary |
/stats/submitters | GET | List all submitters |
📝 License
Apache 2.0
🙏 Acknowledgments
- LODA Project Team - For creating this amazing mathematical tool
- OEIS Contributors - For maintaining the world's most important sequence database
- MCP Community - For the excellent protocol and SDK
- Mathematical Community - For continuous sequence discoveries and research
Made with ❤️ for mathematical discovery and algorithmic research
remote-capable server
The server can be hosted and run remotely because it primarily relies on remote services or has no dependency on the local environment.
Tools
Enables exploration and computation of mathematical integer sequences from OEIS using the LODA assembly language. Supports sequence discovery, program execution, algorithmic mining, and real-time computation of mathematical sequences.