Leghis-smart-thinking — Claude Code MCP server: features and setup
This MCP server lets an agent check calculations, locate evidence in sources, and run code tests. Use it when you want those checks initiated through plain-language requests.
claude mcp add --transport http leghis-smart-thinking https://server.smithery.ai/@Leghis/smart-thinking/mcpWhat Leghis-smart-thinking does
An agent can recalculate an expression, locate a passage supporting a claim, or run permitted tests in an isolated environment. For code checks, the server reports which files were tested; changes made afterward need a fresh run. Test results apply to the suite that actually ran.
Requests go to a hosted service, where dossiers and results are stored. Code files run in a separate sandbox, and the client does not inspect your disk. Anonymous dossier IDs carry access capabilities, so keep them private. Public access uses shared quotas.
A local MCP client requires Node.js version 22.16 or later, plus internet access, and uses an mcpServers configuration. The Claude Code install command connects over HTTP. Model reviews can be wrong, so treat them as fallible rather than as a guarantee of correctness.
What it helps with
- recalculate a discount and fee from an expression
- locate source passages that support a claim
- run permitted tests against a code change
- check the order of steps before publishing
Example prompts for the agent
- Recalculate a 20% discount on 80 euros, then add a 15% fee to the discounted amount.
- Find the source passage behind this claim and show its context.
- Run permitted tests for this change and list the files they covered.
How to install Leghis-smart-thinking
Platform CLI: remote server
claude mcp add --transport http leghis-smart-thinking https://server.smithery.ai/@Leghis/smart-thinking/mcpPlatform CLI: remote server
codex mcp add leghis-smart-thinking --url https://server.smithery.ai/@Leghis/smart-thinking/mcpConfig file
{
"mcpServers": {
"leghis-smart-thinking": {
"url": "https://server.smithery.ai/@Leghis/smart-thinking/mcp"
}
}
}Config file
{
"servers": {
"leghis-smart-thinking": {
"type": "http",
"url": "https://server.smithery.ai/@Leghis/smart-thinking/mcp"
}
}
}Platform CLI: remote server
gemini mcp add -t http leghis-smart-thinking https://server.smithery.ai/@Leghis/smart-thinking/mcpStep by step, with commands for each platform: How to add an MCP server to Claude Code, Codex, Cursor, VS Code, Gemini CLI and more
Questions about Leghis-smart-thinking
How do I install Leghis-smart-thinking in Claude Code?
Run claude mcp add --transport http leghis-smart-thinking https://server.smithery.ai/@Leghis/smart-thinking/mcp. Then reload the MCP connection in Claude Code.
What does Leghis-smart-thinking do?
It gives an agent tools to verify calculations, find supporting passages, and run code tests in an isolated environment. The agent prepares checks from natural-language requests and explains the outcome.
Where does Leghis-smart-thinking store data?
Requests are sent to a hosted service, which stores dossiers and results. Code runs in a separate sandbox, and anonymous dossier IDs should be kept private.
