Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
| LODA_API_BASE_URL | No | LODA API endpoint override | https://api.loda-lang.org/v2 |
Schema
Prompts
Interactive templates invoked by user choice
| Name | Description |
|---|---|
No prompts | |
Resources
Contextual data attached and managed by the client
| Name | Description |
|---|---|
No resources | |
Tools
Functions exposed to the LLM to take actions
| Name | Description |
|---|---|
| get_sequence | Get details about an integer sequence by ID (e.g. A000045) |
| search_sequences | Search for integer sequences by keywords, ID, or name. |
| get_program | Get details about a LODA program by ID (e.g. A000045) |
| search_programs | Search for LODA programs by keywords, ID, or name. |
| eval_program | Evaluate a LODA program and return sequence terms. |
| submit_program | Submit a new LODA program for a sequence. |
| get_stats | Get statistics summary for the LODA project. |
| get_submitters | List all submitters and their number of programs. |