Enables AI agents to write, compose, and check assume-guarantee contracts, including refinement, consistency, compatibility, realizability, and LTL checks, and to use returned counterexamples to fix specifications.

Provides OAuth-secured MCP tools for working with private, Git-backed Markdown knowledge bases: searching pages, reading content, ingesting new source documents, retrieving cited original files, and reviewing history or rolling back accepted pages. Every tool call is checked against each person's or agent's current wiki grant and returns source paths and Git revisions for traceability.

Enables MCP clients to inspect local Git repositories through five focused, read-only tools for repository trees, literal text search, numbered file reads, bounded git diffs, and project summaries while confining paths, skipping secret-like and binary files, and enforcing output limits.

An MCP server that lets any MCP client run or join a governed MACP Decision session, enforcing who may propose, vote and commit, and returning a binding Commitment whose hash anyone can recompute.

Enables agents to run SweetScape 010 Editor Binary Templates and Scripts headlessly against local files. It provides tools to locate the editor binary, execute templates or scripts, and use controlled exit behavior for compile and runtime failures.

Exposes device discovery, capabilities, observation, logs, task execution and cancellation, and evidence retrieval as tools so MCP clients can run typed mobile automation tasks and inspect proof of completion.

Enables an LLM client to perform reverse engineering inside IDA Pro without the GUI, opening databases headlessly in persistent worker processes and exposing tools to decompile and disassemble functions, rename symbols, retype variables and arguments, add comments, and convert numeric bases. It can also run over stdio or HTTP transports and adopt an existing GUI session when desired.

Enables Claude to answer questions with official Peruvian banking, pension-fund, and insurance statistics, including delinquency, solvency, market share, fees, profitability, and rankings, while citing the bulletin, period, and source spreadsheet for each figure.

Enables offline King James Version Bible lookup, passage retrieval, word and phrase search, deterministic verse-of-the-day access, and book/chapter listing for AI assistants. All tools are read-only and return citable references with structured JSON.

Enables MCP clients to retrieve invoice history, pending invoices, and billing summary counts from a SIMAR portal through read-only tools, with credentials supplied via environment variables.

MCP server that checks a website's AI-search (GEO) readiness: robots.txt access for 16 AI crawlers (GPTBot, OAI-SearchBot, PerplexityBot, ClaudeBot, Google-Extended, Bingbot...), JSON-LD schema, llms.txt, sitemap and basic SEO tags. Python, stdio, MIT.

Enables querying aggregated security news and vulnerability feeds from Claude, with semantic search and filtering by severity, source, or category, plus real-time threat summaries.

Enables AI coding assistants to inspect ELF, PE, and Mach-O binaries for hardening mitigations and high-risk symbols, and to triage source or decompiled code against MITRE CWE patterns through MCP tools.

Connects AI agents to a creative platform's canvas, image, video, audio, subject, and storyboard capabilities, enabling natural-language parameter lookup, job submission and tracking, credit-controlled execution, and asset retrieval.

Enables database interaction through GridDB, including executing SQL queries, listing tables, describing schemas, and optionally performing writes and table creation.

Enables users to aggregate meal glycemic index/load, model protein and fat buffering, forecast post-prandial cognitive crash risk and focus hours, and receive macronutrient stabilization recommendations.

Enables agents to run deterministic protocol and schema synthesis through an MCP STDIO server, including Robinson-type unification, schema lens generation, and graph edit distance scoring.

Enables agents to estimate latent user intent, maintain belief states, and resolve ambiguous requests using entropy-based thresholding through MCP tools.

Enables multiple autonomous agents to safely modify shared workspaces and documents by performing three-way reconciliation, detecting collisions, and returning structured conflict data for automated re-arbitration.

Enables AI agents to search and invoke 1,939 Atlassian automation tools across Jira, Confluence, Bitbucket, Admin, Assets, and more, with cached reads and JSON-RPC over stdio. It helps agents find tools without calling Atlassian and execute operations while reducing rate-limit pressure.

Enables AI agents to drive remote desktops through the local RustDesk client on macOS, launching sessions, capturing the session window, and injecting keyboard and mouse input. Exposes session lifecycle, screenshot, input, and device book capabilities as MCP tools.

Business consulting plugin for Claude — 16 skills, 24 commands, 5 industry overlays. Market research, competitive analysis, financial modeling, strategy frameworks, pricing, M&A, digital transformation, risk, talent, and more.

Agent Dashboard: Visualization and analytics for Sessions and Quota Usage. Track, analyze, and optimize token usage across providers with heatmaps, cost tracking, token counting and quota resets..

Enables Claude and other MCP clients to control a running DAZ Studio through the DazScriptServer plugin, covering scene queries, node and morph editing, posing and multi-character interactions, camera and lighting setup, keyframe animation, renders, content library browsing, and arbitrary DazScript execution. It also lets clients generate scenes, shot sequences, and dialogue choreography from natural-language descriptions.