# mcp-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

```bash
# 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:

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

### Example Usage

```javascript
// 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

```bash
# Start the MCP server
npm run dev

# Test the server
node src/index.js
```

## 📝 License

MIT License