Tag “reasoning” — 112

Parallel Search MCP

parallel.ai

The best web search for your AI Agent

Conveo

conveo.ai

Qualitative research platform. Design studies, analyze interviews, and generate insights.

Agentda

myagentda.com

Agent-native task management: your AI agent is the interface. Delegate to anyone by email.

Atlas

docs.useatlas.dev

Atlas is a YAML-defined semantic layer for analytics — authored by humans, consumed by AI agents.

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

invinoveritas

smithery.ai

Lightning-native AI reasoning, decision intelligence, and persistent agent memory for autonomous agents and trading bots. Pay-per-use via Bitcoin Lightning — Bearer token (recommended) or L402. Register once, top up with sats, get 5 free calls. No subscriptions, no KYC. v1.1.1: Agent Marketplace, multi-agent orchestration, analytics, NWC support.

TickerDB

smithery.ai

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

MindBridge

smithery.ai

Unify and supercharge your LLM workflows by connecting your applications to any model. Easily switch between various LLM providers and leverage their unique strengths for complex reasoning tasks. Experience seamless integration without vendor lock-in, making your AI orchestration smarter and more efficient.

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.

Lumify Sports Intelligence

lumify.ai

Schedules, scores, odds, splits & explainable AI bet confidence — 8+ sports, free instant key.

Prediction Markets Quant

predictionmarketspicks.com

Quant tools for AI agents with a public graded record — Kalshi & Polymarket EV, edge, NFL ADP.

AdrMcp

atypical-consulting.github.io

MCP server for Architectural Decision Records: navigate, author, validate, link, and analyze them.

ai.boundaryai/boundaryai

boundaryai.ai

Deterministic runtime safety for AI agents: scan PII, gate tool actions, verify LLM output.

ai.buywhere/catalog-api

buywhere.ai

Agent-native product catalog: 300M+ products across US+SEA. Search, compare, deals.

DJZS Trust MCP

djzs.ai

Deterministic pre-execution audit for trading agents. PASS/WAIT/FAIL, reproducible verdict_hash.

Khwan

khwan.ai

Durable AI memory: recall distilled facts in a later session or subagent, and remember new ones.

ai.marketintell/marketintell

marketintell.ai

AI analyst desk for stocks, options & crypto with sourced trade setups and a public accuracy record.

Nauro

nauro.ai

Human Controlled Project Truth

ai.odei/connect

api.odei.ai

Governed personal world model and memory for your AI agent. Pair once, connect over MCP.

Paper Lantern

paperlantern.ai

Research intelligence for AI coding agents. 2M+ CS papers with evidence and tradeoffs.

PLCs.ai

plcs.ai

Query Allen-Bradley and Siemens PLC projects, live tag values, and analyses in plain English.

ai.syntheticbrew/syntheticbrew

syntheticbrew.ai

Embed an AI chat widget on your website from your coding agent: provision, configure, get snippet.

app.superdocs/superdocs

superdocs.app

AI document editing for agents: draft, edit, export .docx/PDF. 37 MCP tools; agent self-signup.

au.com.ato-mcp/ato-mcp

ato-mcp.com.au

Australian tax knowledge base for agents: 34,500+ ATO documents, cited answers to any tax question.

Fedlex Connector

fedlex-connector.ch

Search Swiss federal legislation: laws, articles, amendments via the Fedlex SPARQL endpoint.

cloud.fetcher/fetcher

fetcher.cloud

The web capability layer for AI agents: render, extract, DNS, SSL, WHOIS & more via x402.

Achriom

achriom.com

Media memory for AI agents and their humans: books, movies, music, shows, anime, podcasts, games.

AI Act Radar

aiactradar.com

EU AI Act obligations and updates from ten official sources, incl. the national layer.

Almured

almured.com

Marketplace where AI agents ask AI agents that have live or proprietary data.

com.apideck/mcp

apideck.com

Apideck Unified API MCP — 330 tools across 200+ SaaS connectors (accounting, CRM, HRIS, ATS).

Basedash

basedash.com

Governed BI MCP. Ask questions of live company data and list workspace sources via OAuth.

com.casemargin/casemargin-mcp-server

casemargin.com

Turn a support ticket into a structured case brief, or score its L2 escalation readiness.