From bac306c8411bd1839f7aee089c40b63788d24c70 Mon Sep 17 00:00:00 2001 From: Verificate AI Date: Sun, 20 Sep 2026 23:43:44 -0700 Subject: [PATCH 1/2] Add Verificate Gate (VerificateAI/verificate-mcp-quickstart) to Developer Tools --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 382ea66e6..981d0f388 100644 --- a/README.md +++ b/README.md @@ -1339,6 +1339,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). - [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. +- [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, calls to APIs that do not exist, tests that cannot fail and unsupported "it's done" claims, then a model review 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. - [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`. From e918118483525086bd5f005f2d8bf46286eb94a4 Mon Sep 17 00:00:00 2001 From: Verificate AI Date: Mon, 21 Sep 2026 00:07:32 -0700 Subject: [PATCH 2/2] Verificate entry: accurate description of deterministic vs model checks --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 981d0f388..73f6934a4 100644 --- a/README.md +++ b/README.md @@ -1339,7 +1339,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). - [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. -- [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, calls to APIs that do not exist, tests that cannot fail and unsupported "it's done" claims, then a model review grades what remains and returns a fix plan. Remote server, no signup needed to start. +- [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. - [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`.