maciejewskii/solver-mcp

General-purpose Timefold-powered MCP solver server for AI agents

About solver-mcp

solver-mcp is a local MCP server that gives AI agents a real Timefold Solver backend for assignment problems. The agent writes a declarative JSON spec with generic entities, values, attributes, and constraint primitives; the server validates it, solves it, and returns assignments with a score breakdown. The LLM writes a declarative spec, never code; Timefold computes the answer; nothing is hallucinated.

Unofficial project powered by Timefold Solver Community (Apache 2.0).

- JDK 21 - A local MCP client that can start stdio servers

For MCP clients, use the jar command above. Do not launch the MCP server through ./gradlew run; Gradle writes progress output to stdout, and stdio MCP requires stdout to contain protocol frames only.

Docker MCP clients must keep stdin open with -i; the server speaks MCP over stdio.

Then start Claude Code and ask it to use solver-mcp to validate and solve a spec.

Add a stdio server entry to your Claude Desktop MCP config:

Restart Claude Desktop after editing the config.

Tool Purpose --- --- modelingguide Returns the DSL guide, expression syntax, primitive examples, full examples, and repair workflow. validatespec Checks JSON shape, expression parsing, attribute references, primitive compatibility, and size warnings. solve Solves the ASSIGNMENT spec with a bounded Timefold run and returns the best-found assignment. explainsolution Rebuilds a supplied assignment and returns deterministic per-constraint totals and top matches. diagnoseinfeasible Lists broken hard constraints and briefly re-solves with one hard constraint relaxed at a time.

From the project README.

Maintaining this server?

Add the radar badge to your README — it shows your project was picked up by MCP Radar and links to this page:

[![On MCP Radar](https://mcp.liqiwa.com/badge.svg)](https://mcp.liqiwa.com/s/maciejewskii--solver-mcp.html)

Related MCP servers