Awesome/awesome-mcp-servers
1
0
Fork 0
mirror of https://github.com/punkpeye/awesome-mcp-servers.git synced 2026-10-01 10:18:32 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #14784 from Verificate-Dev/add-verificate-gate

Browse Source 
Add Verificate Gate — merge gate for AI-written code (Developer Tools)
This commit is contained in:
Frank Fiegel
2026-09-22 23:26:49 -07:00
committed by GitHub
parent 14ea8f82cd e918118483
commit 827b5ff6d7
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
README.md
+1
View File
@@ -1349,6 +1349,7 @@ Data Platforms for data integration, transformation and pipeline orchestration.
- [MasterPlayspots/motionspec](https://github.com/MasterPlayspots/motionspec) [![MasterPlayspots/motionspec MCP server](https://glama.ai/mcp/servers/MasterPlayspots/motionspec/badges/score.svg)](https://glama.ai/mcp/servers/MasterPlayspots/motionspec) 📇 ☁️ 🏠 - Reduced-motion / WCAG 2.2.2+2.3.3 verification for web animation: agents author validated specs; a deterministic compiler emits reduced-motion-safe, on-budget CSS. Keyless hosted endpoint (motion_catalog, motion_validate). - [MasterPlayspots/motionspec](https://github.com/MasterPlayspots/motionspec) [![MasterPlayspots/motionspec MCP server](https://glama.ai/mcp/servers/MasterPlayspots/motionspec/badges/score.svg)](https://glama.ai/mcp/servers/MasterPlayspots/motionspec) 📇 ☁️ 🏠 - Reduced-motion / WCAG 2.2.2+2.3.3 verification for web animation: agents author validated specs; a deterministic compiler emits reduced-motion-safe, on-budget CSS. Keyless hosted endpoint (motion_catalog, motion_validate).
- [SLP-DEV1/qwen-dap-mcp](https://github.com/SLP-DEV1/qwen-dap-mcp) [![SLP-DEV1/qwen-dap-mcp MCP server](https://glama.ai/mcp/servers/SLP-DEV1/qwen-dap-mcp/badges/score.svg)](https://glama.ai/mcp/servers/SLP-DEV1/qwen-dap-mcp) 📇 🏠 🪟 - DAP-to-MCP bridge that gives coding agents structured native-debugger evidence through CodeLLDB, including stack frames, registers, locals, disassembly, memory, crash dumps, and bounded autonomous crash fix/verify workflows. - [SLP-DEV1/qwen-dap-mcp](https://github.com/SLP-DEV1/qwen-dap-mcp) [![SLP-DEV1/qwen-dap-mcp MCP server](https://glama.ai/mcp/servers/SLP-DEV1/qwen-dap-mcp/badges/score.svg)](https://glama.ai/mcp/servers/SLP-DEV1/qwen-dap-mcp) 📇 🏠 🪟 - DAP-to-MCP bridge that gives coding agents structured native-debugger evidence through CodeLLDB, including stack frames, registers, locals, disassembly, memory, crash dumps, and bounded autonomous crash fix/verify workflows.
- [TomD4vs/prumo](https://github.com/TomD4vs/prumo) [![TomD4vs/prumo MCP server](https://glama.ai/mcp/servers/TomD4vs/prumo/badges/score.svg)](https://glama.ai/mcp/servers/TomD4vs/prumo) 📇 🏠 🍎 🪟 🐧 - Checks the context files a coding agent reads (CLAUDE.md, AGENTS.md, SKILL.md, .cursor/rules) against the git index: wrong letter case, broken links, missing paths, commands nothing defines, and agent configuration that points at nothing. Two more tools report which sections drifted from the code and what each file costs. - [TomD4vs/prumo](https://github.com/TomD4vs/prumo) [![TomD4vs/prumo MCP server](https://glama.ai/mcp/servers/TomD4vs/prumo/badges/score.svg)](https://glama.ai/mcp/servers/TomD4vs/prumo) 📇 🏠 🍎 🪟 🐧 - Checks the context files a coding agent reads (CLAUDE.md, AGENTS.md, SKILL.md, .cursor/rules) against the git index: wrong letter case, broken links, missing paths, commands nothing defines, and agent configuration that points at nothing. Two more tools report which sections drifted from the code and what each file costs.
- [VerificateAI/verificate-mcp-quickstart](https://github.com/VerificateAI/verificate-mcp-quickstart) [![VerificateAI/verificate-mcp-quickstart MCP server](https://glama.ai/mcp/servers/VerificateAI/verificate-mcp-quickstart/badges/score.svg)](https://glama.ai/mcp/servers/VerificateAI/verificate-mcp-quickstart) 🎖️ 📇 ☁️ - The merge gate for AI-written code: deterministic checks veto placeholder/mock implementations, tests that cannot fail and unsupported "it's done" claims, then a model review checks for calls to APIs that do not exist, grades what remains and returns a fix plan. Remote server, no signup needed to start.
- [Vivekpatil200320/CyberRescue](https://github.com/Vivekpatil200320/cyberrescue) [![cyberrescue MCP server](https://glama.ai/mcp/servers/Vivekpatil200320/cyberrescue/badges/score.svg)](https://glama.ai/mcp/servers/Vivekpatil200320/cyberrescue) 🐍 🏠 - Secure host-level telemetry gateway enabling sandboxed AI agents to dynamically fetch container logs and track kernel resource metrics. - [Vivekpatil200320/CyberRescue](https://github.com/Vivekpatil200320/cyberrescue) [![cyberrescue MCP server](https://glama.ai/mcp/servers/Vivekpatil200320/cyberrescue/badges/score.svg)](https://glama.ai/mcp/servers/Vivekpatil200320/cyberrescue) 🐍 🏠 - Secure host-level telemetry gateway enabling sandboxed AI agents to dynamically fetch container logs and track kernel resource metrics.
- [davidmosiah/delx-mcp-server](https://github.com/davidmosiah/delx-mcp-server) [![Delx MCP Server](https://glama.ai/mcp/servers/davidmosiah/delx-mcp-server/badges/score.svg)](https://glama.ai/mcp/servers/davidmosiah/delx-mcp-server) 📇 🏠 ☁️ 🍎 🪟 🐧 - Native stdio bridge for the hosted Delx Protocol MCP endpoint, with one-command client install, doctor checks and live tool discovery. - [davidmosiah/delx-mcp-server](https://github.com/davidmosiah/delx-mcp-server) [![Delx MCP Server](https://glama.ai/mcp/servers/davidmosiah/delx-mcp-server/badges/score.svg)](https://glama.ai/mcp/servers/davidmosiah/delx-mcp-server) 📇 🏠 ☁️ 🍎 🪟 🐧 - Native stdio bridge for the hosted Delx Protocol MCP endpoint, with one-command client install, doctor checks and live tool discovery.
- [deed-lang/deed](https://github.com/deed-lang/deed) [![deed-lang/deed MCP server](https://glama.ai/mcp/servers/deed-lang/deed/badges/score.svg)](https://glama.ai/mcp/servers/deed-lang/deed) 🦀 🏠 🍎 🪟 🐧 - Contract-first programming language and local MCP server for checking types, effects, capabilities, and contracts in agent-written modules. Its review tool compares before and after source sets and returns machine-readable receipts for new authority, weaker promise tiers, and new Guarded runtime obligations. Install: `cargo install deed-lang`; run `deed mcp`. - [deed-lang/deed](https://github.com/deed-lang/deed) [![deed-lang/deed MCP server](https://glama.ai/mcp/servers/deed-lang/deed/badges/score.svg)](https://glama.ai/mcp/servers/deed-lang/deed) 🦀 🏠 🍎 🪟 🐧 - Contract-first programming language and local MCP server for checking types, effects, capabilities, and contracts in agent-written modules. Its review tool compares before and after source sets and returns machine-readable receipts for new authority, weaker promise tiers, and new Guarded runtime obligations. Install: `cargo install deed-lang`; run `deed mcp`.