Leghis Smart Thinking MCP Server

Version 14.2.2. Raisonnement exact et vérifiable en MCP : arithmétique et algèbre exactes, résolution de systèmes, calcul borné, recherche web sourcée, dossiers de preuve. Aucun jeton requis : le point d'accès public accepte les requêtes anonymes. Le moteur tourne sur le serveur hébergé ; ce paquet est le client qui connecte n'importe quel hôte MCP. It is available as a remote MCP endpoint.

Teams that want a hosted memory endpoint instead of running a local process. The project is written in JavaScript.

VERIFIED ACTIVE

LAST COMMIT 2026-09-17 · ★ 34 · #209 OF 304 MAINTAINED MEMORY · VERIFIED 2026-09-18

MIT · JavaScript servers · how we verify → /methodology

01 · Install Leghis Smart Thinking

Claude Code

claude mcp add leghis-smart-thinking --transport http https://server.smithery.ai/@Leghis/smart-thinking/mcp

Claude Desktop / Cursor / VS Code - add to config

{
  "mcpServers": {
    "leghis-smart-thinking": {
      "url": "https://server.smithery.ai/@Leghis/smart-thinking/mcp"
    }
  }
}

Same JSON for Cursor. For VS Code, rename the top-level key from `mcpServers` to `servers`.

Using another client? Same JSON, different key

Claude Desktop · mcpServers

Cursor · mcpServers

VS Code · servers

Windsurf · mcpServers

Zed · context_servers

Cline · mcpServers

Roo Code · mcpServers

Continue · mcpServers

LibreChat · mcpServers

Gemini CLI · mcpServers

Codex CLI · mcp_servers

Full setup guides: every client.

02 · Evidence

https://server.smithery.ai/@Leghis/smart-thinking/mcp

transport: streamable-http

endpoint responds (non-MCP reply - review) · probed 2026-09-17

Security posture

What to check before giving this server access to your agent - from the registry, GitHub, and our own probes. We don't score safety; we show what's verifiable.

runs as remote - your agent's requests go to server.smithery.ai

license MIT - declared in the repository

registry vendor namespace ai.smithery - domain-verified with the official MCP registry

03 · Who maintains Leghis Smart Thinking

Leghis-smart-thinking is maintained by leghis. It's the only MCP server we track from this author; the repo dates to Mar 2025.

04 · Facts

repository: github.com/leghis/smart-thinking
category: memory - ranked #209 of 304 actively-maintained memory servers as of 2026-09-18.
registry: ai.smithery/Leghis-smart-thinking (active, first published 2025-09-29)

05 · Leghis Smart Thinking FAQ

What is Leghis Smart Thinking?

Is Leghis Smart Thinking still maintained?

Yes - as of 2026-09-18, its last commit was 2026-09-17. We re-verify nightly.

How do I install Leghis Smart Thinking?

Run `claude mcp add leghis-smart-thinking --transport http https://server.smithery.ai/@Leghis/smart-thinking/mcp`. You can also paste the ready-made client config above.

06 · Alternatives to Leghis Smart Thinking

Alternatives to Leghis Smart Thinking

Maintained memory servers if Leghis Smart Thinking isn't the fit.

Pairs well with

Servers that cover what Leghis Smart Thinking doesn't - only shown when the pairing reason fits the companion.

More memory MCP servers · Turbo Quant Memory · Skillmem · Lobu · Logi Sheets · Personalbrain MCP

More JavaScript MCP servers · Livewire Flux MCP · Tap · Nervous System · Leximo AI Call Assistant MCP Server · Lindo AI · see all