広告掲載
MCP.so
ログイン
C

Cotforce MCP Server

@islobodan

リポジトリ

基本情報

カテゴリ

その他

トランスポート

stdio

作者

islobodan

投稿者

Slobodan Ivković

Cotforce MCP Server について

Give brains to your small models. MCP server that enforces step-by-step Chain-of-Thought — turns 4B models into methodical reasoners

#mcp-cot-chain-of-thought

Cotforce MCP Server の設定

以下の設定を使って、このサーバーを MCP 対応クライアントに追加してください。

{
  "mcpServers": {
    "cotforce": {
      "command": "npx",
      "args": [
        "-y",
        "@slbdn/cotforce-mcp"
      ],
      "env": {
        "MODE": "direct",
        "API_BASE_URL": "http://localhost:1234/v1",
        "MODEL": "local-model",
        "MAX_RETRIES": "2"
      }
    }
  }
}

Cotforce MCP Server のツール

1

Solves a problem using strict Agentic Chain-of-Thought with adaptive parsing, retry logic, token budgeting (via tiktoken), and configurable model.

概要

What is Cotforce Mcp?

Cotforce Mcp is a Model Context Protocol server that enforces step-by-step Chain-of-Thought (CoT) reasoning on any LLM call. It integrates with MCP clients (Claude Desktop, Cursor) via sampling or with any OpenAI‑compatible API via direct HTTP. It is designed for users who want to improve reasoning in small or large language models without fine‑tuning.

How to use Cotforce Mcp?

Install the npm package @slbdn/cotforce-mcp (requires Node.js ≥18). Configure via environment variables in your MCP client settings. Add a server entry like "cotforce": { "command": "npx", "args": ["-y", "@slbdn/cotforce-mcp"], "env": { "MODEL": "claude-3-5-sonnet" } } to claude_desktop_config.json. Then call the solve_problem tool with a prompt argument.

Key features of Cotforce Mcp

  • Rigid CoT enforcement with valid JSON output
  • Adaptive multi‑layer parser pipeline (5 built‑in parsers)
  • Zod runtime validation for tool arguments and CoT results
  • Automatic retry with increasing temperature (up to 3 attempts)
  • Token budgeting with tiktoken and configurable overhead
  • Model‑specific system prompts for Claude, GPT‑4, Gemini, Grok
  • Structured metrics and comprehensive test suite (151 tests)

Use cases of Cotforce Mcp

  • Solving complex cryptarithmetic puzzles like SEND + MORE = MONEY with small models
  • Improving reasoning on math, logic, and word problems
  • Performing code analysis, regex generation, and SQL queries with structured output
  • Validating results against a user‑supplied schema with automatic retry

よくある質問

1

What LLMs does Cotforce Mcp work with?

It works with any LLM accessible via MCP sampling or direct HTTP, including Claude, GPT‑4, Gemini, Grok, and local models via LMStudio or Ollama.

2

What are the runtime requirements?

Cotforce Mcp requires Node.js ≥18. For direct HTTP mode, no additional services are needed if you provide an API key or use a local endpoint.

3

How do I handle truncated responses mid‑reasoning?

Increase `REASONING_OVERHEAD` (default 800) or reduce parsers via `COT_PARSERS` to save token budget for reasoning.

4

Why does my MCP client time out before getting a result?

Complex CoT reasoning can take 60–90 seconds. Increase Cotforce’s `TIMEOUT` variable and also check your MCP client’s own timeout setting (e.g., LM Studio, Cursor).

5

How does Cotforce Mcp enforce structured output?

It uses strict system prompts with few‑shot examples, a priority‑sorted parser pipeline, and Zod schemas to extract and validate `{reasoning, result}` JSON from any LLM response.

コメント

「その他」の他のコンテンツ

Soar Flight Booking MCP

Soar Flight Booking MCP is a remote MCP server available at https://mcp.soar.flights.

EverArt

modelcontextprotocol

Model Context Protocol Servers

88.1K

Handl

Handl speaks the Model Context Protocol. Your whole billing operation — projects, invoices, clients, reports, approvals — as tools any AI assistant can call, inside your autonomy rules.

MaxKB

1Panel-dev

🔥 MaxKB is an open-source platform for building enterprise-grade agents. 强大易用的开源企业级智能体平台。

22.0K

Volley.sh

Volley

A good sequence diagram can solve almost any communication problem in engineering. Volley lets your agent write them as plain text, with the real request and response payloads on every arrow. It checks its own syntax wi

広告掲載