Skip to main content
Glama
loda-lang

LODA API MCP Server

Official
by loda-lang

get_stats

Retrieve statistical overview of the LODA project's mathematical sequence data and computational results for analysis.

Instructions

Get statistics summary for the LODA project.

Input Schema

TableJSON Schema
NameRequiredDescriptionDefault

No arguments

Implementation Reference

  • The primary handler function for the 'get_stats' tool. It calls the API client's getStats method and formats a textual response with the database statistics.
    private async handleGetStats() { const stats = await this.apiClient.getStats(); return { content: [ { type: "text", text: `Stats: Sequences=${stats.numSequences}, Programs=${stats.numPrograms}, Formulas=${stats.numFormulas}` } ] }; }
  • src/index.ts:381-385 (registration)
    Registration of the 'get_stats' tool in the ListTools response, including its name, description, and empty input schema (no parameters required).
    { name: "get_stats", description: "Returns stats of the LODA project. This includes the number of sequences, programs, and formulas in the database.", inputSchema: { type: "object", properties: {}, additionalProperties: false } },
  • TypeScript interface defining the structure of the stats response from the LODA API.
    interface StatsSummary { numSequences: number; numPrograms: number; numFormulas: number; }
  • Helper method in LODAApiClient that makes the HTTP request to the LODA API's /stats/summary endpoint to fetch the statistics.
    async getStats(): Promise<StatsSummary> { return this.makeRequest('/stats/summary'); }
  • Dispatch case in the main CallToolRequestSchema handler that routes 'get_stats' calls to the specific handleGetStats method.
    case "get_stats": return this.handleGetStats();

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