"How to check a terminal" matching MCP servers:

面向 Codex、WorkBuddy 等 AI 工具的知你AI助手合并版 Skills，涵盖当前会话分诊、客户查询与画像、历史会话检索、客户分群和 API Key 用量查询，并连接个微、企微、视频号、微信小程序、公众号、服务号、微信客服、微信小店、抖音号、小红书、微博、网站及H5客服等渠道。

Official aviation data MCP by Flight Master DAST (航班管家 DAST), providing flight status, route search, onboard comfort, delay and cancellation risk, airport weather forecasts, and real-time or historical flight trajectories.

Health Check AI - MCP server providing AI-powered tools and automation by MEOK AI Labs

Read-only MCP access to the p-e relay store: an append-only corpus of provenance-bearing coordination records, with tools to fetch a record by id, list records and replies, and check existence. This image serves a snapshot frozen at build time; append_relay is listed but refused, and deposits to the live store require an HMAC-signed request.

Enables agents to convert Markdown into WhatsApp-compatible formatting, including styled text, lists, and tables that fit a phone's monospace width.

Enables pushing enriched leads into Instantly or Smartlead campaigns with ICP score gating, deduplication, and dry-run previews via an Apify actor.

Provides authoritative open source license answers: SPDX identification, copyleft classification, and compatibility checks of dependencies against your project's license.

Resolves a company domain to its LinkedIn company page URL. Lightweight enrichment tool for sales and prospecting workflows.

Provides AI-visibility scoring and site auditing capabilities for websites, enabling agents to check how sites appear in AI engines like ChatGPT and Perplexity, run full SEO/security audits, and monitor changes over time.

Giggal.ai is an email verification tool that runs a deep mailbox existence check on every address and verifies catch-all/accept-all and even SEG protected emails. Your bounce rate stays under 5%, and the 30% of every B2B list that other tools flag as "Risky" becomes deliverable again.

Enables AI assistants to convert CSS-animated SVGs into videos (MP4/WebM/MKV/MOV) and animated images (aPNG/GIF) with frame-accurate rendering and transparency support.

Explains cron expressions in plain English, checks them for errors and gotchas, lists next run times in any time zone, and converts between Unix cron, GitHub Actions, Kubernetes, AWS EventBridge, Quartz and Spring dialects.

Enables agents to validate and normalize phone numbers, email addresses, and postal addresses with production-grade, country-specific rules, including formatting, typo detection, and checks for disposable domains or fictional numbers.

Provides agents with real Linux VMs to run commands, manage files, expose ports, and track costs, all through an ephemeral sandbox service.

Runs SQL statements in memory against real PostgreSQL 18 and SQLite 3.49 engines after loading your schema and sample rows, returning each statement's own verdict: errors with line, column, and hints, constraint violations, or the resulting rows. It also compares both dialects to expose portability differences, all with no database server, network, or API key.

Read-only MCP bridge for Xiaohongshu / XHS / RedNote social media insights: search notes, get note details and comments, creator profiles, and creator note lists.

Runs a regular expression on real engines — JavaScript (V8), Python (CPython re), PCRE2 and RE2 — reporting each engine's own compile errors with positions, every match with its groups and named groups, replacement results, and where the engines disagree. It also detects catastrophic backtracking (ReDoS), naming the at-risk part of the pattern, generating an attack string, and timing how long each engine actually takes on it.

BTC Decision Terminal for AI Agents — live vault-backed Hyperliquid signals, on-chain proof, cross-chain swap. MCP server hosted at https://hypernatt.com/mcp/protocol. 11 tools. Verify in real time.

Searches US product recalls across CPSC, FDA, and NHTSA in one call, matching by name, brand, model number, UPC, or VIN with confidence scoring.

Enables reviewing GitHub Actions workflows for outdated actions, deprecated Node runtimes, retired runners, deprecated commands, and security risks, with file, line, and fix for each finding.