Frontiermath

MCP server providing FrontierMath problem solving capabilities to Claude

🚀 Getting Started

This MCP server wraps the existing frontiermath-solver CLI tool to provide mathematical computation capabilities through the Model Context Protocol.

Prerequisites

• Node.js (v18 or higher)
• The frontiermath-solver project must be available at /Users/bard/Code/frontiermath-solver

Installation

# Clone the repository
git clone https://github.com/username/mcp-frontiermath.git

# Navigate to project directory
cd mcp-frontiermath

# Install dependencies
npm install

Available Tools

1. frontiermath_solve_problem - Solve specific FrontierMath problems by ID

   • Available problems: ALL3, CWA2, TIK2, RAP1, CWD31

2. frontiermath_representation_theory - Perform representation theory computations

   • Support for Coxeter groups, Braid groups, finite groups

3. frontiermath_algebraic_geometry - Algebraic geometry computations

   • Point counting on curves over finite fields

4. frontiermath_number_theory - Number theory computations

   • Multiplicative order density calculations

5. frontiermath_finite_fields - Finite field analysis

   • Field structure analysis

6. frontiermath_list_problems - List all available problems

Usage with Claude Desktop

Add this server to your Claude Desktop configuration:

{
  "mcpServers": {
    "frontiermath": {
      "command": "node",
      "args": ["/path/to/mcp-frontiermath/src/index.js"]
    }
  }
}

Example Usage

// Solve a specific FrontierMath problem
await frontiermath_solve_problem({ problemId: "ALL3" });

// Analyze a Coxeter group
await frontiermath_representation_theory({ 
  groupType: "coxeter", 
  dimension: 4 
});

// Count points on an algebraic curve
await frontiermath_algebraic_geometry({
  curve: "y^2 = x^3 + x + 1",
  field: "F_5^18"
});

🛠️ Development

# Start the MCP server
npm run dev

# Test the server
node src/index.js

📝 License

MIT License