Leghis Smart Thinking vs Sequential Thinking
A side-by-side look at the Leghis Smart Thinking and Sequential Thinking MCP servers: transport, auth, tools, quality signals, and the config to install either one in Claude, Cursor, Windsurf or VS Code.
Verdict: choose Leghis Smart Thinking for knowledge & memory work as a local process; choose Sequential Thinking for knowledge & memory as a local process. You can also run both side by side in one mcpServers block.
Which MCP server should you choose?
Choose Leghis Smart Thinking when
- You need dedicated capabilities in the Knowledge & Memory domain.
- You prefer a local stdio subprocess transport.
- You want tools like
capabilities, run_create, run_get.
Choose Sequential Thinking when
- You need dedicated capabilities in the Knowledge & Memory domain.
- You prefer a local stdio subprocess transport.
- Its auth model fits you: No auth required.
- You want tools like
thought, nextThoughtNeeded, thoughtNumber.
Feature & specification comparison
Rows where the two servers differ are marked.
| Spec | ||
|---|---|---|
| Category | Knowledge & Memory | Knowledge & Memory |
| Quality signal | 65/100 · Great | 85/100 · Excellent |
| Install command | Confirmed | Confirmed |
| Transport | Local subprocess (stdio) | Local subprocess (stdio) |
| Auth | Not declared | No auth required |
| Pricing | Not declared | Free |
| Required env vars | None listed | None listed |
| Verified owner | Community listing | Verified |
| GitHub stars | 33 | 91,540 |
| Directory activity | 2 views 0 installs 0 upvotes | 6 views 3 installs 0 upvotes |
| Tools | 43 | 9 |
| Full listing | View Leghis Smart Thinking | View Sequential Thinking |
Tools & capabilities
Leghis Smart Thinking tools 43
capabilitiesDescribe configured capabilities and explicit limits, including dossier capacity, scientific worker bounds, build metadata, the software supervisor (rubrics, review policy, approved recipes and execution) and the published catalogue fingerprint.run_createCreate an owned dossier when you need tracked claims, evidence with sources, coverage or audit. For a single exact check prefer calculate/solve_math/solve_logic instead. Restricted runs stay within server storage. profile picks an operator-approved budget envelope (standard by default; larger envelopes are bounded by the operator policy). For anonymous access the reply embeds a one-time dossier capability in the returned identifier: keep it exactly as returned — it authorizes every later operation on this dossier and is never re-issued.run_getRead a compact owned dossier. Explicit detail=full returns the complete document with its published bounds (mutation receipts omitted; use run_export when a bound is reached), never keys or server policies. presentation=detailed returns unprojected output; the opaque `cursor` continues claim pagination.run_listList owned run summaries with pagination.calculateExact arithmetic without floating-point truth claims. Grammar: rationals, factorial(n), binomial(n,k), gcd, lcm, mod(a,m), powmod(a,e,m), n!, `a mod b`, and ONE top-level comparison (=, !=, <, <=, >, >=). Pure operation: no dossier, no audit record. Supply expected to compare and get matchesExpected.calculate_batchEvaluate independent exact expressions in one call (same kernel and domains as calculate). Partial mode keeps valid items when others fail; atomic mode refuses the whole batch. References between items are not accepted in this version.checkOne-shot structured check without a dossier. Accepts a deterministic ClaimSpec (arithmetic, linear, ordering, boolean) and returns the shared verifier status. Kinds needing artifacts or the symbolic worker are refused with a hint. Exact inputs never call Jev.finite_computeBounded declarative computation: range_reduce (sum/product/count over an inclusive integer range; optional modulus), linear_recurrence (a_n = c0*a_(n-1) + c1*a_(n-2) + ..., coefficients listed most recent first; optional modulus), bounded_search (exhaustive enumeration of a bounded integer space against one comparison predicate). Declarative only: no clock, network, files or dynamic code; a reached limit returns a partial result, never a fake maximum or absence.casIsolated symbolic recipes: identity (expression equal to rhs?), simplify, solve (ONE symbol, univariate polynomial, rational coefficients, degree <= 8, exact roots including multiplicities). Runs only in the separate IAM-protected worker with pinned image; no arbitrary Python and no local fallback. A library result is not proof-kernel certification. assumptions is optional, e.g. "t=real, u=positive". Domain assumptions are applied: roots excluded by the declared domain are reported in excludedRoots and never counted as solutions. The worker bounds are published in capabilities.scientific (expression <= 2000 bytes, <= 8 symbols).solve_mathExact rational linear system solver. Unique, inconsistent and underdetermined are distinct. Pure operation: no dossier required.solve_logicSolve explicitly supplied ordering constraints, without guessing a prose translation. Pure operation: no dossier required.claimRegister an explicit structured claim inside a dossier. The host formalizes text; Jev cannot invent proof inputs.- +31 more on the listing page
Sequential Thinking tools 9
thoughtnextThoughtNeededthoughtNumbertotalThoughtsisRevisionrevisesThoughtbranchFromThoughtbranchIdneedsMoreThoughts
Ready-to-paste client configs
Paste either block (or both) into your client config, e.g. claude_desktop_config.json or ~/.cursor/mcp.json. We only show a config when the install command is confirmed.
Leghis Smart Thinking
{
"mcpServers": {
"leghis-smart-thinking": {
"command": "npx",
"args": [
"-y",
"smart-thinking-mcp@16.3.1"
]
}
}
}
Sequential Thinking
{
"mcpServers": {
"sequential-thinking": {
"command": "npx",
"args": [
"-y",
"@modelcontextprotocol/server-sequential-thinking"
]
}
}
}
Frequently asked questions
Leghis Smart Thinking is categorized under Knowledge & Memory and uses a local stdio subprocess. Sequential Thinking belongs to Knowledge & Memory and uses a local stdio subprocess. Pick Leghis Smart Thinking for knowledge & memory work and Sequential Thinking for knowledge & memory.
Copy the mcpServers block from the config section on this page into your client's config (for example claude_desktop_config.json or ~/.cursor/mcp.json), then fully restart the client.
Leghis Smart Thinking has no declared pricing — check the project's own site. Sequential Thinking is listed as free. Auth: no auth required. If a server needs environment variables such as API keys, define them under the env key in your client's MCP config.
Yes. MCP clients support multiple servers: add leghis-smart-thinking and sequential-thinking as separate keys in the same mcpServers object, and your assistant will call tools from either one.
On AllMCPs, Leghis Smart Thinking has a quality signal of 65/100 (Great) with 2 views, 0 installs and 33 GitHub stars. Sequential Thinking has 85/100 (Excellent) with 6 views, 3 installs and 91,540 GitHub stars.