mcpField
L
Leghis-smart-thinking

Leghis-smart-thinking

Remote
github.com/LeghisAI & Agents33Updated 6w ago
Repository

About Leghis-smart-thinking

Leghis-smart-thinking is an MCP server package that lets AI assistants check calculations, locate supporting passages, and test code through a hosted service. It is aimed at people who want verification tools without installing the checking engine or a database.

Key features

  1. 01Exact arithmetic checks
  2. 02Finds source passages with context
  3. 03Runs approved tests in an isolated sandbox
  4. 04Hosted checking engine; no personal token for public access

Use cases

  1. 01Recalculate discounts, recipe quantities, or quotes
  2. 02Inspect the origin and context of a claim
  3. 03Run tests against a code change

MCP support

The package provides an MCP client that connects assistants to the hosted checking service. The service exposes calculation, source-search, and code-testing tools.

Configuration

Remote servers need no local install. Pick your client, then copy the config or install in one click.

Endpointhttps://server.smithery.ai/@Leghis/smart-thinking/mcp
Copy install command
Claude CodeTerminal
Cursor.cursor/mcp.json
VS Code.vscode/mcp.json
Claude Desktopclaude_desktop_config.json
Windsurf~/.codeium/windsurf/mcp_config.json

Run commands in a terminal; paste JSON into the client’s MCP config and restart. Servers that need sign-in will prompt on first connect.

All endpoints
Streamable HTTPhttps://server.smithery.ai/@Leghis/smart-thinking/mcpAuth required

Tools

Details

From the project README

Smart-Thinking

Help your AI check its work.

Smart-Thinking connects your usual AI assistant to tools for checking calculations, finding supporting passages and testing code. Ask in ordinary language; your assistant prepares the check and explains the result.

This package is the small MCP client. MCP is the protocol assistants use to connect to tools. The checking engine runs on the hosted service. You do not need to install a database, run the engine or supply a personal token for public access.

What can you do?

  • Check a number. Recalculate a discount, scale a recipe or compare complete quotes using exact arithmetic.
  • Check a source. Find the passage behind a statement and inspect its date, context and origin.
  • Check a code change. Run approved tests in an isolated environment and see which files were actually tested. A later change needs a new check.

Connect your assistant

You need Node.js 22.16 or newer and Internet access. For an assistant that accepts a mcpServers configuration, add:

{
  "mcpServers": {
    "smart-thinking": {
      "command": "npx",
      "args": ["-y", "[email protected]"]
    }
  }
}

Save the configuration and reload the MCP connection in your assistant. VS Code uses a different format. Follow the application-specific connection guides for Codex, Claude, Cursor, VS Code or direct HTTP access.

To diagnose a connection from your terminal:

npx -y [email protected] --doctor --allow-network

The diagnostic checks connectivity and tool discovery. Provider availability is reported separately.

Try these three requests

  1. “Use Smart-Thinking to check €80 minus 20%, then add a 15% fee on the discounted price. Explain the steps.” Expected total: €73.60.
  2. “Use Smart-Thinking to scale 250 g of flour for four people to ten people.” Expected quantity: 625 g.
  3. “Use Smart-Thinking to order these steps: draft before review, review before publish.” Expected order: draft → review → publish.

See eighteen explained examples for sources and code, too.

Data and limits

Requests go to the hosted service. Search and semantic checks can use external providers; submitted code files run in a separate sandbox. The client does not scan your disk. Dossiers and results are stored server-side. Keep anonymous dossier identifiers private: they include access capabilities.

Public access has shared quotas. An exact calculation checks the supplied expression; passing tests cover the executed suite. Model reviews remain fallible. Code review has an internal qualification for bounded, explicit requirements. It can cover the declared semantic review when its evidence and qualification remain valid. This is not external accreditation or a correctness guarantee.

Read the data and trust guide, documentation and evaluations. The website is available in French and English.

MIT license. Source and issues.

Comments

Markdown supported

New to MCP?

From what the protocol is to installing your first server, these answers cover most first questions.

An open protocol that defines how AI applications connect to external tools and data in a uniform way. Clients talk to the model; MCP servers provide tools, resources and prompt templates. They exchange standard messages, so one server can be reused by many clients.