From e1f576ce3fd1874827200bc66644a1a713ec5c89 Mon Sep 17 00:00:00 2001 From: iliaspap-conscium Date: Wed, 22 Jul 2026 11:57:14 +0100 Subject: [PATCH] feat: add verifyax-mcp to the list of MCP servers in README.md --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 194619418..acdba9369 100644 --- a/README.md +++ b/README.md @@ -1336,6 +1336,7 @@ Tools and integrations that enhance the development workflow and environment man - [veelenga/claude-mermaid](https://github.com/veelenga/claude-mermaid/) 📇 🏠 🍎 🪟 🐧 - A Mermaid diagram rendering MCP server for Claude Code with live reload functionality, supporting multiple export formats (SVG, PNG, PDF) and themes. - [vercel/next-devtools-mcp](https://github.com/vercel/next-devtools-mcp) 🎖️ 📇 🏠 - Official Next.js MCP server for coding agents. Provides runtime diagnostics, route inspection, dev server logs, docs search, and upgrade guides. Requires Next.js 16+ dev server for full runtime features. - [vighriday/Veris](https://github.com/vighriday/Veris) [![vighriday/Veris MCP server](https://glama.ai/mcp/servers/vighriday/Veris/badges/score.svg)](https://glama.ai/mcp/servers/vighriday/Veris) 📇 🏠 🍎 🪟 🐧 - Behavioral verification intelligence for autonomous coding agents. Builds a behavioral graph of any TS/JS repo, clusters into 25 semantic workflows (Auth, Payments, Webhooks, Caching, Queue, etc.), detects drift, generates concrete adversarial probes (idempotency, retry storm, cache stampede, replay), emits per-workflow risk + confidence. 17 MCP tools. Local SQLite state. Zero cloud. MIT. +- [verifyax/verifyax-mcp](https://github.com/verifyax/verifyax-mcp) 📇 ☁️ - MCP server for the VerifyAX platform. Enables agent evaluation, simulation testing, and functional/non-functional verification workflows through natural language. - [vezlo/src-to-kb](https://github.com/vezlo/src-to-kb) 📇 🏠 ☁️ - Convert source code repositories into searchable knowledge bases with AI-powered search using GPT-5, intelligent chunking, and OpenAI embeddings for semantic code understanding. - [vivekvells/mcp-pandoc](https://github.com/vivekVells/mcp-pandoc) 🗄️ 🚀 - MCP server for seamless document format conversion using Pandoc, supporting Markdown, HTML, PDF, DOCX (.docx), csv and more. - [VikrantSingh01/adaptive-cards-mcp](https://github.com/VikrantSingh01/adaptive-cards-mcp) [![adaptive-cards-mcp MCP server](https://glama.ai/mcp/servers/VikrantSingh01/adaptive-cards-mcp/badges/score.svg)](https://glama.ai/mcp/servers/VikrantSingh01/adaptive-cards-mcp) 📇 🏠 ☁️ 🍎 🪟 🐧 - AI-powered Adaptive Card generation for Teams, Outlook, Copilot, and ChatGPT. 9 MCP tools for generating, validating, optimizing, templating, and transforming cards with accessibility scoring and host compatibility checks.