diff --git a/README.md b/README.md
index c57ca5af9..dc1f2dbca 100644
--- a/README.md
+++ b/README.md
@@ -1622,7 +1622,7 @@ Tools and integrations that enhance the development workflow and environment man
 - [stass/lldb-mcp](https://github.com/stass/lldb-mcp) 🐍 🏠 🐧 🍎 - A MCP server for LLDB enabling AI binary and core file analysis, debugging, disassembling.
 - [stfade/moth](https://github.com/stfade/moth) [![stfade/moth MCP server](https://glama.ai/mcp/servers/stfade/moth/badges/score.svg)](https://glama.ai/mcp/servers/stfade/moth) 📇 🏠 - A lightweight MCP server for structured bug-fix analysis and project-local verified fix memory for AI agents.
 - [storybookjs/addon-mcp](https://github.com/storybookjs/addon-mcp) 📇 🏠 - Help agents automatically write and test stories for your UI components.
-- [SuresoftTechnologies/dvera-plugin](https://github.com/SuresoftTechnologies/dvera-plugin) 🎖️ 🐍 🏠 🪟 🐧 - Drives CT (Controller Tester) C/C++ verification from an MCP client: project setup, toolchain resolution, analysis, test generation and execution, statement/branch/MC-DC coverage, and report export. Requires a local CT 2026.06 or later installation; without one the server reports zero tools. Listed on the official MCP Registry (`io.github.SuresoftTechnologies/dvera-mcp`).
+- [SuresoftTechnologies/dvera-plugin](https://github.com/SuresoftTechnologies/dvera-plugin) [![SuresoftTechnologies/dvera-plugin MCP server](https://glama.ai/mcp/servers/SuresoftTechnologies/dvera-plugin/badges/score.svg)](https://glama.ai/mcp/servers/SuresoftTechnologies/dvera-plugin) 🎖️ 🐍 🏠 🪟 🐧 - Drives CT (Controller Tester) C/C++ verification from an MCP client: project setup, toolchain resolution, analysis, test generation and execution, statement/branch/MC-DC coverage, and report export. Requires a local CT 2026.06 or later installation; without one the server reports zero tools. Listed on the official MCP Registry (`io.github.SuresoftTechnologies/dvera-mcp`).
 - [tactual-dev/tactual](https://github.com/tactual-dev/tactual) [![tactual-dev/tactual MCP server](https://glama.ai/mcp/servers/tactual-dev/tactual/badges/score.svg)](https://glama.ai/mcp/servers/tactual-dev/tactual) 📇 🏠 🍎 🪟 🐧 - Screen-reader navigation cost analyzer. Models real AT user effort with per-profile scoring, graph-based pathfinding, and step-by-step navigation traces.
 - [TamarEngel/jira-github-mcp](https://github.com/TamarEngel/jira-github-mcp) - MCP server that integrates Jira and GitHub to automate end-to-end developer workflows, from issue tracking to branches, commits, pull requests, and merges inside the IDE.
 - [tao-izm/devpulse-mcp](https://github.com/tao-izm/devpulse-mcp) [![tao-izm/devpulse-mcp MCP server](https://glama.ai/mcp/servers/tao-izm/devpulse-mcp/badges/score.svg)](https://glama.ai/mcp/servers/tao-izm/devpulse-mcp) 📇 🏠 - Zero-config MCP server that gives AI coding assistants a real-time diagnostic snapshot of your local dev environment. Detects framework, running services, recent errors, and git state in one call.