"Improving the Thinking Capabilities of My Gemini AI" matching MCP servers:

Forces host coding agents through a structured multi-step reasoning protocol, scaffolding, validating, and formatting their thinking in QUICK, STANDARD, or DEEP modes, plus independent refutation and self-consistency verification passes. It runs entirely locally over stdio or Streamable HTTP using bash with no LLM, API key, GPU, or inference cost.

Enables MCP clients to execute SELECT-only SQL against a music-store schema with statement timeouts, guardrails, and retry/reflection support.

MCP server for Google Gemini media generation, exposing tools for generating and editing images, video, music, and async operations via stdio.

A lightweight MCP server bridging AI agents to Google's Gemini AI via official CLI

MCP server for querying Google Gemini Web from Claude Code and other MCP clients, using cookie-based authentication. Enables creating, continuing, listing, viewing, and deleting Gemini chat conversations with model and thinking mode control.

Enables Claude Code to use Google Gemini AI capabilities for analyzing PDFs and images, generating and translating text, and reviewing code. Supports both CLI and API backends with different quota limits.

An MCP server that enables managing multiple lines of thought with features like branch navigation, cross-references between related thoughts, and insight generation from key points.

A template MCP server that provides a basic structure and configuration for building Model Context Protocol servers. Includes Docker support, environment configuration, and examples for both STDIO and SSE transport modes.

An MCP server that enables advanced CSV analysis and data visualization using Google's Gemini AI and Plotly. It allows users to perform exploratory data analysis, generate interactive charts, and conduct complex reasoning on tabular data.

Enables formal logical reasoning, mathematical problem-solving, and proof construction across 11 logic systems including propositional, predicate, modal, fuzzy, and probabilistic logic. Integrates external solvers (Z3, ProbLog, Clingo) for advanced reasoning, with support for proof storage, argument scoring, and cross-system translation.

Enables AI assistants to work through complex problems step-by-step with dynamic thought processes, allowing for revision of previous steps, exploration of alternative approaches, and flexible planning as understanding deepens.

Remote MCP server for dynamic and reflective problem-solving through structured thinking. Enables step-by-step reasoning with branching, revision tracking, and session management.

Facilitates structured creative thinking through sequential thought processing, helping users shift from reactive problem-solving to proactive outcome creation using structural tension analysis and stage-based thinking workflows.

Facilitates structured, progressive thinking through defined cognitive stages (Problem Definition, Research, Analysis, Synthesis, Conclusion), enabling users to break down complex problems, track thought progression, and generate summaries of their thinking process.

An autonomous AI development agent that enables full-stack coding, automated verification, RAG-powered code search, and quality assurance through MCP tools. Supports Gemini CLI, Claude Code CLI, with features like parallel verification, security scanning, and spec-driven development.

Enables interacting with the GTA7 Lab city bank through MCP tools, including balance checks, transaction searches, PIX transfers, bill payments, card issuance, loan simulation and requests, and investments.

MCP server providing Google Search grounding with source citations using Gemini Code Assist.

Enables AI agents to perform dynamic and reflective problem-solving through a chain of thoughts, allowing them to break down complex problems, revise past thoughts, and explore logic branches before reaching a conclusion.

Provides a sequentialthinking tool for dynamic, reflective problem-solving via chain-of-thought reasoning. Supports local Stdio and remote SSE deployment on Google Cloud Run.

Records a sale of a vehicle, equipment or stock and produces a printable bill of sale with signature lines. Drafts can be edited and finalized into a frozen signing copy rendered as Markdown or self-contained HTML for print-to-PDF.