Skip to main content
Glama

configure_auth

Set up Overleaf account credentials to enable Git-based project management, syncing LaTeX files between local environments and Overleaf.

Instructions

Configure global Overleaf credentials

Input Schema

TableJSON Schema
NameRequiredDescriptionDefault
emailYesOverleaf account email
tokenYesOverleaf git token

Implementation Reference

  • Handler for the 'configure_auth' tool: extracts email and token from arguments and delegates to AuthManager.saveConfig, returning success message.
    case 'configure_auth': { const { email, token } = request.params.arguments as any; await authManager.saveConfig({ email, token }); return { content: [{ type: 'text', text: 'Successfully configured authentication' }], }; }
  • Input schema definition for the 'configure_auth' tool, specifying required email and token properties.
    inputSchema: { type: 'object', properties: { email: { type: 'string', description: 'Overleaf account email', }, token: { type: 'string', description: 'Overleaf git token', }, }, required: ['email', 'token'], },
  • src/index.ts:104-121 (registration)
    Registration of the 'configure_auth' tool in the ListTools response, including name, description, and input schema.
    { name: 'configure_auth', description: 'Configure global Overleaf credentials', inputSchema: { type: 'object', properties: { email: { type: 'string', description: 'Overleaf account email', }, token: { type: 'string', description: 'Overleaf git token', }, }, required: ['email', 'token'], }, },
  • AuthManager.saveConfig method: merges new config with existing and writes to ~/.overleaf-mcp/config.json.
    async saveConfig(config) { const current = await this.getConfig(); const newConfig = { ...current, ...config }; await fs.writeJson(CONFIG_FILE, newConfig, { spaces: 2 }); }

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/juho127/overleafMCP'

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