Awesome/awesome-mcp-servers
1
0
Fork 0
mirror of https://github.com/punkpeye/awesome-mcp-servers.git synced 2026-09-23 14:50:39 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add the Glama score badge to the dvera-plugin entry

Browse Source
This commit is contained in:
ejcho
2026-09-15 15:25:29 +09:00
parent 53dc842e93
commit 04d3acc3e5
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
README.md
+1 -1
View File
@@ -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.