MCP servers

Secure Python sandbox — MCP servers, APIs, shells and host functions as native Python objects.

Deploy HTML from any AI tool to a versioned, shareable library on wovo.dev; manage pages.

Let AI assistants paint, edit and export images in a running GIMP 3, with 80 tools.

Turn a phrase and its translation into a shareable word-alignment diagram.

Checks GLB assets against a spec without Blender and embeds the measured proof inside the GLB.

Per-function effect analysis for agents: blast radius, what reaches the network, gate verdicts.

PowerPoint automation for AI - Slides, Shapes, Text, Charts and more. Windows only.

Generate changelogs and suggest semver bumps from git history

Semantic code graph for AI-assisted code understanding via tree-sitter and MCP.

Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.

Git-native, review-gated knowledge base for LLM agents. Cited retrieval, audited writes.

Live worldwide wildfire detections, fire archive, citable stats, aircraft. Free, CC BY 4.0.

MCP server with WebdriverIO for browser and mobile app automation (iOS/Android via Appium)

Control NVIDIA Isaac Sim robotics simulator through MCP with 42 tools

Watch your AI drive a real Chrome live, point, approve, or take the wheel from your phone.

MCP server for Crewhu — customer feedback (CSAT/NPS), employee engagement, and gamification.

MCP server for Domotz network monitoring — agents, devices, alerts, and network discovery.

MCP server for Freshdesk — tickets, contacts, companies, agents, groups, and knowledge base.

MCP server for RocketCyber Managed SOC — incidents, alerts, agents, and customer telemetry.

Scrape, crawl, and map websites to Markdown or JSON via local CLI.

让 agent 驱动本机的 Verbatim 音视频转写与博主观点分析：提交转写、轮询、搜索转写库。

MCP server for Affinity CRM - entity search, relationship intelligence, and workflow management

imgou.com social network: send/receive messages, friends, groups, moments for AI agents.

Task management for AI agents with hierarchical tasks, dependencies, sprints, and coordination.

Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.