Tag “mcpserver #agents #reasoning #mcpservers” — 17

PreClick

smithery.ai

PreClick: An intent + security layer for agent browsing that verifies each destination before an agent proceeds, applying analyst-like reasoning, adaptive behavior, and continuous improvement. It enables AI agents and any MCP-compatible client to analyze URLs for malicious content and security threats before navigation. BASIC USAGE Agent: Hey, PreClick - I want to open this link to book a room. PreClick: ALLOW (low risk + destination matches intent). Agent: Hey, PreClick -

Lotus Wisdom

smithery.ai

Lotus Wisdom is a contemplative reasoning tool inspired by the Lotus Sutra. It guides AI through structured wisdom journeys for complex problems where logic alone isn't enough. Flow through wisdom domains (skillful means, non-dual recognition, meta-cognitive), take meditative pauses, and track your path across perspectives. Start with tag='begin' to receive the full framework, then continue with tags like open, examine, integrate, and express. The tool signals when insight is

ZS - Zobr Script

smithery.ai

ZS (Zobr Script) — cognitive scripting language for structured reasoning with LLMs. Provides spec, interpreter prompt, examples, validator, and execution context.

ICME Preflight

smithery.ai

Jailbreak-proof guardrails for AI agents. Policy enforcement powered by Automated Reasoning and formal verification — an SMT solver, not an LLM, decides whether an action passes or fails. Cannot be prompt-injected. Every decision produces a cryptographic ZK proof. Includes a FREE check_logic tool that catches contradictions in agent reasoning (budget overflows, impossible timelines, conflicting constraints) using a Z3 SAT solver. No account needed. 13 tools covering the ful

TickerDB

smithery.ai

Market context for agents. Connect your agent to pre-computed market context that improves reasoning and reduces token usage.

Matchbox

smithery.ai

Describe a real-world problem in plain language and Matchbox finds products built to solve it — with reasoning, honest caveats, what each product won't cover, and a frank "no strong match" when nothing fits. The catalog (~12,000 products) focuses on early-stage and lesser-known products that search engines and LLM training data usually miss. Listings are never sponsored; payment never affects ranking. Tools: find_products_for_problem, search_catalog, get_product. No auth requ

Clear Thought Server

smithery.ai

Provide systematic thinking, mental models, and debugging approaches to enhance problem-solving capabilities. Enable structured reasoning and decision-making support for complex problems. Facilitate integration with MCP-compatible clients for advanced cognitive workflows.

mifactory-logic-verifier

smithery.ai

Verify reasoning chains before AI agents act. Pay-per-use MCP server.

Think Tool Server

smithery.ai

Enhance Claude's reasoning capabilities with a dedicated tool for structured thinking. Use this tool to navigate complex problem-solving tasks effectively, ensuring adherence to policies and improving decision-making processes. Optimize your interactions with Claude by leveraging the think tool for better outcomes in multi-step analyses.

Document Integrity Validator

smithery.ai

AI reasoning checks any document for internal consistency and completeness against the applicable international standard for its type, before your agent acts on it.

MCP Chain of Draft (CoD) Prompt Tool

smithery.ai

MCP Chain of Draft (CoD) Prompt Tool is a BYOLLM MCP (Model Context Protocol) tool that transforms your prompt using another LLM, applying CoD or CoT reasoning techniques, before delivering the final result. CoD is a novel paradigm that allows LLMs to generate minimalistic yet informative intermediate reasoning outputs while solving tasks, significantly reducing token usage while maintaining accuracy. For fast setup -> scroll ↓ click "Connect"! ------------------------------

flatland

smithery.ai

Financial reasoning infrastructure for AI agents - typed models, deterministic compilation, cryptographic receipts via MCP

gitwhy

smithery.ai

The shared AI context engine for git — save, search, and share the reasoning behind code changes. Captures the why behind every commit and slide on PRs for coding agents.

Unl

smithery.ai

A new unit of exchange between you and your AI: the Settled Why, the reasoning behind a decision, with standing that travels. Unprompted. Unl holds the decisions you have settled, with the reasoning behind them, and serves the relevant ones into an agent's context before it acts — so the agent inherits your judgement rather than asking again. Connect once and it works across the AI ecosystem. Reads are inert; every write carries a gesture from you. Free and open.

token-squeezer

smithery.ai

Compresses large blocks of text, code, or conversation history into hyper-dense Reasoning Maps optimized for LLM context windows. Saves agents 80%+ on token costs. Stateless. Pay $0.001 USDC per compression via x402 on Base network.

AgentDilemma

smithery.ai

Two actions. Instant signal on both. **Vote on open dilemmas.** Read another agent's situation. Give your honest verdict with reasoning. Every vote response returns a `calibration` block immediately — your running alignment rate, votes cast, and confidence accuracy. No waiting. The signal is in the response. **Submit your dilemma.** Facing a gray-area call with no clear right answer — conflicting instructions, ethical ambiguity, tradeoffs with no obvious winner? Submit it.

Thoughtbox

smithery.ai

Facilitate structured reasoning and multi-agent collaboration within a centralized workspace for solving complex problems. Design, validate, and orchestrate implementation specifications using integrated mental models and cognitive loops. Track project progress through shared workspaces while maintaining deep observability into reasoning sessions.