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-solverproject 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 installAvailable Tools
- frontiermath_solve_problem - Solve specific FrontierMath problems by ID
- Available problems: ALL3, CWA2, TIK2, RAP1, CWD31
- frontiermath_representation_theory - Perform representation theory computations
- Support for Coxeter groups, Braid groups, finite groups
- frontiermath_algebraic_geometry - Algebraic geometry computations
- Point counting on curves over finite fields
- frontiermath_number_theory - Number theory computations
- Multiplicative order density calculations
- frontiermath_finite_fields - Finite field analysis
- Field structure analysis
- 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
