Skip to main content
Glama
loda-lang

LODA API MCP Server

Official
by loda-lang

get_submitters

Retrieve a list of all submitters and their corresponding program counts from the LODA assembly language mathematical sequence database.

Instructions

List all submitters and their number of programs.

Input Schema

TableJSON Schema
NameRequiredDescriptionDefault

No arguments

Implementation Reference

  • The main handler function for the 'get_submitters' MCP tool. It fetches the list of submitters from the LODA API client and returns a formatted text response containing each submitter's name and number of programs.
    private async handleGetSubmitters() { const submitters = await this.apiClient.getSubmitters(); return { content: [ { type: "text", text: submitters.map(s => `${s.name}: ${s.numPrograms} programs`).join('\n') } ] }; }
  • src/index.ts:391-395 (registration)
    Registration of the 'get_submitters' tool in the ListTools response, defining its name, description, and input schema (no parameters required).
    { name: "get_submitters", description: "Returns a list of all submitters with their number of submitted programs.", inputSchema: { type: "object", properties: {}, additionalProperties: false } },
  • src/index.ts:431-432 (registration)
    Dispatch logic in the CallToolRequestHandler switch statement that routes calls to 'get_submitters' to the handleGetSubmitters method.
    case "get_submitters": return this.handleGetSubmitters();
  • Helper method in LODAApiClient that makes the API request to fetch the list of submitters from '/stats/submitters' endpoint.
    async getSubmitters(): Promise<Submitter[]> { return this.makeRequest('/stats/submitters'); }
  • TypeScript interface defining the structure of a Submitter object used in the get_submitters tool response.
    interface Submitter { name: string; numPrograms: number; }

Latest Blog Posts

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/loda-lang/loda-mcp'

If you have feedback or need assistance with the MCP directory API, please join our Discord server