Skip to main content
Glama

status_summary

Retrieve a project status summary with default credentials for Overleaf projects. Ideal for quickly analyzing document structure and content via Git integration.

Instructions

Get a summary of the project status using default credentials

Input Schema

TableJSON Schema
NameRequiredDescriptionDefault
projectNameNoProject name (default, project2, etc.)

Implementation Reference

  • The switch case that handles execution of the 'status_summary' tool. It retrieves the project client, lists all .tex files, identifies the main.tex (or first file), fetches sections from the main file, and returns a JSON-formatted summary including total files, main file name, total sections, and a list of the first 10 files.
    case 'status_summary': { const client = getProject(args.projectName); const files = await client.listFiles(); const mainFile = files.find(f => f.includes('main.tex')) || files[0]; let sections = []; if (mainFile) { sections = await client.getSections(mainFile); } return { content: [ { type: 'text', text: JSON.stringify({ totalFiles: files.length, mainFile, totalSections: sections.length, files: files.slice(0, 10), }, null, 2), }, ], }; }
  • The tool registration object for 'status_summary' in the list_tools response, including the name, description, and input schema (optional projectName).
    { name: 'status_summary', description: 'Get a comprehensive project status summary', inputSchema: { type: 'object', properties: { projectName: { type: 'string', description: 'Project identifier (optional)', }, }, }, },
  • The input schema definition for the 'status_summary' tool, specifying an optional 'projectName' string parameter.
    inputSchema: { type: 'object', properties: { projectName: { type: 'string', description: 'Project identifier (optional)', }, }, },

Other Tools

Related Tools

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/mjyoo2/OverleafMCP'

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