"Search results for proofcut" matching MCP servers:

Google Search Console for Claude and other MCP clients. Sign in with Google in one click, then ask about clicks, queries, rankings and indexing, export every GSC report as CSV (beyond the 1,000-row UI limit), inspect URLs, submit sitemaps and verify sites. Includes a local SEO dashboard. Free, open source, runs on your computer.

Enables searching Google Scholar papers with year filtering, deduplication, and proxy support. Also provides paper detail retrieval, TF-IDF relevance analysis, and chart generation via MCP tools.

Enables any MCP client to evaluate Wolfram Language code in a persistent local Mathematica or Wolfram Engine kernel, export results to common file formats, and inspect or manage kernel status without cloud APIs, API keys, or runtime dependencies.

Enables querying Tableau lineage through the Metadata API via MCP, supporting impact analysis, where-used lookups, and content search. Provides read-only tools for answering natural-language questions about workbooks, datasources, fields, and dependencies.

TableCharts MCP Server gives any LLM assistant the ability to instantly convert tabular data into beautiful, hosted, interactive dashboards. Simply provide JSON rows, raw CSV text, or a public URL (Notion page, Google Sheet, or Salesforce report), and get back a shareable dashboard URL plus an embeddable iframe code — all in one tool call. Supports 6 chart types: bar, line, area, pie, scatter, a

Enables WorkBuddy to analyze local CSV and Excel files through AVA, loading data sources, inspecting schemas, running read-only SQL queries, managing business definitions, and rendering verified results as interactive HTML charts with saved artifacts. It also checks the runtime environment and runs a built-in sample demo so users can verify totals, per-dimension contributions, and the queries behind each conclusion.

Enables natural-language (Chinese or English) querying of a socioeconomic survey microdata warehouse covering five survey programs and over a thousand tables, by exposing standard tools for exploring surveys and sections, semantically searching variable metadata, generating read-only SQL, computing weighted statistics, and rendering charts. Results, SQL, and tool calls are returned in-chat, and it can be attached to Claude Desktop or Claude Code as well as its bundled web interface.

Provides an MCP server exposing compute, verify, and plot tools backed by Giac/Xcas for exact symbolic and numerical mathematics, enabling LLMs to solve calculus, algebra, geometry, and more with verified results.

Enables headless control of DHI MIKE Zero, including launching and batch-running simulations, monitoring job progress and logs, and reading/plotting simulation results from DFS and RES1D files.

Enables AI assistants to safely explore, query, and analyze PostGIS or Oracle Spatial databases using spatial tools in plain language, with results rendered as maps directly in chat.

Enables AI assistants to compile distribution feeders, run power flow, voltage and thermal violation checks, short-circuit and Thévenin impedance studies, hosting capacity and QSTS analyses, and add or edit elements, through 20 typed tools that return structured JSON or Markdown with the inputs that produced the results.

Enables LLMs to interact with Kibana through composable toolboxes for building dashboards, managing data, and handling alerts, among other operations.

Local MCP server for YueShu Graph 5.3 enabling safe GQL validation and execution, schema discovery, and structured graph/chart results through Codex.

Provides aerodynamic analysis tools through MCP, enabling geometry generation, meshing, CFD solving, and visualization for 2D airfoils.

Enables agents to inspect open datasets, metadata, and calibrations in Gatan DM, then perform post-acquisition operations such as ROI statistics, intensity profiles, FFT, cropping, previewing, exporting, and bounded spectral or 4D-STEM analysis with traceable results.

Enables LLM/agent applications to execute Stata code, load and inspect data, obtain structured regression results and graphs, and manage background tasks through the Model Context Protocol.

Enables AI assistants to connect to YNAB budgets, providing tools for accounts, transactions, categories, payees, and analytics, including search, bulk operations, and delta sync.

Enables AI agents to drive IBM SPSS Statistics for statistical analysis and publication-quality chart generation through natural language, returning structured results and ensuring safe execution.

MCP server for accessing World Bank data, enabling indicator search, data retrieval, country comparisons, trend analysis, rankings, and chart generation.

Drives a local SCAPS-1D installation to design and edit devices, run J-V/QE/C-V simulations and batches, fit measured curves, and analyze results for thin-film and perovskite solar cells, including realism checks against physical limits.

Enables AI assistants to run verified statistical and analytics computations—including hypothesis tests, A/B testing, descriptive summaries, and sample-size planning—directly on local CSV, TSV, Excel, and Parquet files of any size. Results include effect sizes, confidence intervals, plain-English interpretations, and assumption warnings, with optional independent checks.

Integrates with Google Search Console to enable querying search analytics, comparing performance periods, generating visual reports, and identifying SEO optimization opportunities through natural language.

Enables an AI agent to set up, run and verify engineering simulations through typed tools — creating or importing cases, setting boundary conditions, running solvers, checking convergence, verifying results against references, and rendering output, with edits appearing live in the GUI. It exposes no shell or code-execution tool.

Enables AI agents to drive OpenFOAM end to end: cloning tutorials or custom cases, editing dictionaries, meshing and running solvers in the background, tracking convergence and job status, and analyzing results. It also renders flow images — slices, patches, streamlines, iso-surfaces and residual or force plots — back to the agent.

Enables Hermes agents to build and run auditable startup financial models, validate inputs, execute linked-statement scenarios, verify results, summarize outcomes, and perform sensitivity analyses through six finance tools.

Enables AI agents to run IBM SPSS Statistics on macOS for statistical analyses, generate paper-ready charts, extract structured results, and execute mediation/moderation analyses with safety controls.

Connects Google Search Console to AI assistants, enabling SEO data analysis through natural language conversations.

Enables building wire-connected native schematics, visually checking them, editing values, and running native frequency/transient analyses plus symbolic formulas and plots, with results saved as CSV/PNG and openable in the separately installed application.

Enables AI agents to perform real Wolfram Language computation, create and edit native .nb notebooks and figures, export data, and independently verify results through a stdio MCP interface.

Connects QGIS to any MCP-speaking AI client so the agent can drive QGIS directly through 125 tools for layer management, feature editing, processing algorithms, map rendering, styling, layouts and atlases, cross-layer SQL, plugin development, and system management. A companion QGIS plugin listens over a local socket, letting agents list instances, run long processing jobs in the background, and write results back into the active project.

Enables AI agents to safely execute statistical analyses, parse results into Markdown and JSON, and generate publication-ready charts through a local IBM SPSS Statistics installation on macOS and Windows.

A local MCP server that enables agents to perform symbolic math, unit-aware physics calculations, numerical simulation, PDE solving, statistics, time-series and survival modeling, signal and wavelet analysis, optimization, plotting, data-file IO, and arbitrary Python execution. It exposes 65 fixed tools with a uniform JSON result envelope, writing large results and figures to a configurable local output directory.

Provides easy access to Formula 1 data including championship standings, event info, season calendars, track visualizations, session results, and driver/constructor info via FastF1 and OpenF1 API.

Provides advanced charting widgets (uPlot time series, ECharts box plots and parallel coordinates) for Urano Desktop/Cloud via MCP tools that build uiSpec JSON for rendering.

Enables AI assistants to validate, simulate and translate contingency-dsl reinforcement schedules, converting between DSL expressions and Method-section prose and summarizing or analyzing recorded session logs without hand-writing FR/VI generators. Runs simulations on a virtual clock for reproducible results and returns structured output for every tool.

Enables MCP clients to connect through OAuth 2.1/PKCE to a hosted trading-assistant surface for read-only system context, intelligence, risk-preview, advisory, and charting data, with scoped chart, write, and execute capabilities gated by account entitlements and confirmation flows.

A hosted remote MCP server that connects marketing platforms such as Google Ads, GA4, Search Console, Meta Ads, Microsoft Ads, LinkedIn Ads, TikTok Ads, and Google Business Profile, enabling plain-English performance analysis, KPI and budget tracking, report creation, and previewed account changes.

Give AI agents access to Formester form submissions. Read individual responses, search and filter across forms, write AI-generated insights back as custom fields, and process file attachments including PDFs and images.

Enables AI assistants to build, simulate and read circuits in Cadence AWR Design Environment (Microwave Office) from plain-language prompts, covering element placement and wiring, frequency sweeps and equations, graphs and markers, and simulation result read-back. It also encodes AWR scripting quirks so models avoid silently wrong results.

Audits local Tableau workbooks for unused assets, duplicate worksheets, and dashboard weight, providing cleanup reports and health summaries.