"Information about sequential thinking or related topics" matching MCP servers:

Provides live wait times and office details for all 60 Oregon DMV field offices by scraping the ODOT website, with no authentication required.

Enables users to audit personal reading streams by quantifying category diversity with Shannon entropy, detecting lexical redundancy and echo chambers via Jaccard similarity, and ranking content sources by decibel signal-to-noise ratio for pruning recommendations.

Enables MCP clients to query proxy sub-accounts, traffic, pricing, and inventory, and to place orders, renew, and modify configurations after user confirmation.

MCP server for searching French and European law, providing natural language access to jurisprudence, consolidated legal texts, and related legal information via tools like search_decisions and search_legal_texts.

A robust Model Control Protocol server that enables AI agents to access real-time cyber threat intelligence and detailed information about vulnerabilities, threat actors, malware, and other cyber-security entities.

Enables AI assistants to rewrite AI-styled English prose into more natural human writing, with tools for humanizing text and retrieving information about the underlying model.

Enables AI agents to search and retrieve detailed information about US golf courses, including course details, tees, climate, and nearby points of interest.

A Model Context Protocol server that allows AI assistants to search for and retrieve information about OpenTofu providers, modules, resources, and data sources from the OpenTofu Registry.

Provides access to the SonoVault music metadata API, enabling search and retrieval of information about 90M+ tracks, artists, labels, and releases, including ISRC, ISWC, and cross-platform IDs.

Enables AI assistants to answer questions about nixpkgs packages using nixkeeper's public data, covering outdated versions, Hydra build status and failures, update-bot attempts, related PRs and issues, CVEs, and what needs attention for a maintainer or team. It runs locally over stdio, reads only public data, and requires no account or token.

Enables an assistant to verify whether claims about AI systems hold against supplied evidence bytes, replay conformance vectors, and inspect related terms and artifact digests offline without fetching, writing, or sending data.

Enables large language models to retrieve up-to-date and correct information about dlt pipelines, datasets, and schemas, improving AI-assisted development.

Enables coding agents to deliver short retrieval-practice questions about what was just built, with tools for answering, viewing progress, and managing pacing, topics, mutes, and difficulty.

Provides large language models with access to news and information about renewable energy projects in Germany, allowing filtering by location, topic (solar, wind, hydrogen), and date range.

A minimal server that provides Claude AI with secure file system access and sequential thinking capabilities, allowing Claude to navigate directories, read files, and break down complex problems into structured thinking steps.

Enables MCP clients to search and inspect open-source GitHub repositories, curated topics, similar repositories, and developer or organization rankings with filters for language, country, stars, and activity.

A Model Context Protocol server that provides natural language access to Cortex API, enabling users to query information about their system's structure and make faster decisions about services, incidents, and team responsibilities.

Provides read-only access to query and retrieve information about devices, fleets, events, and configurations managed by Flight Control through a safe integration layer supporting filtering and selector-based queries.

Compiles an Obsidian knowledge graph into a queryable MCP server, allowing AI agents to search concepts, get nodes, and retrieve related information.

A locally runnable stdio MCP server for Fortrip hotel search, live room rates, hotel details, trip planning and booking payment links. Uses a Fortrip CLI token or saved CLI login; payments are completed by the user on Fortrip and Stripe.