forge-mcp-server

mprenovitz/forge-mcp-server

★ 0 stars TypeScript 🤖 AI/LLM Updated 1d ago

An MCP server.

View on GitHub →

Quick Install

Copy the config for your editor. Some servers may need additional setup — check the README.

Add to claude_desktop_config.json:

{
  "mcpServers": {
    "forge-mcp-server": {
      "command": "npx",
      "args": [
        "-y",
        "mprenovitz/forge-mcp-server"
      ]
    }
  }
}

README Excerpt

Welcome to the Forge MCP server, an MCP that contains a small suite of tools to assist in debugging and explaining UNSAT Forge instances. To use the MCP, you will need: - Claude Desktop - Forge - Racket - Node JS To install Claude desktop follow the instructions found here: https://support.claude.com/en/articles/10065433-installing-claude-desktop

forge-mcp-server

Quick Install

README Excerpt

Related AI/LLM Servers