From 149b8c367c84b7ceef1a33914255ffe05567d603 Mon Sep 17 00:00:00 2001 From: Rafael Vinicius Pra Date: Mon, 16 Mar 2026 10:26:07 +0100 Subject: [PATCH 1/2] Add Lingua Universale MCP server to Security section --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 3bb492d5..c97c3f66 100644 --- a/README.md +++ b/README.md @@ -1636,6 +1636,7 @@ Tools for conducting research, surveys, interviews, and data collection. - [panther-labs/mcp-panther](https://github.com/panther-labs/mcp-panther) πŸŽ–οΈ 🐍 ☁️ 🍎 - MCP server that enables security professionals to interact with Panther's SIEM platform using natural language for writing detections, querying logs, and managing alerts. - [pullkitsan/mobsf-mcp-server](https://github.com/pullkitsan/mobsf-mcp-server) πŸ¦€ 🏠 🍎 πŸͺŸ 🐧 - A MCP server for MobSF which can be used for static and dynamic analysis of Android and iOS application. - [qianniuspace/mcp-security-audit](https://github.com/qianniuspace/mcp-security-audit) πŸ“‡ ☁️ A powerful MCP (Model Context Protocol) Server that audits npm package dependencies for security vulnerabilities. Built with remote npm registry integration for real-time security checks. +- [rafapra3008/cervellaswarm](https://github.com/rafapra3008/cervellaswarm/tree/main/packages/mcp-server) 🐍 🏠 🍎 πŸͺŸ 🐧 - Verify AI agent communication protocols using session types. Formal specification with Lean 4 proofs, linter, formatter, and LSP. Catches deadlocks and role violations before deployment. - [rad-security/mcp-server](https://github.com/rad-security/mcp-server) πŸ“‡ ☁️ - MCP server for RAD Security, providing AI-powered security insights for Kubernetes and cloud environments. This server provides tools for querying the Rad Security API and retrieving security findings, reports, runtime data and many more. - [radareorg/r2mcp](https://github.com/radareorg/radare2-mcp) 🍎πŸͺŸπŸ§πŸ πŸŒŠ - MCP server for Radare2 disassembler. Provides AI with capability to disassemble and look into binaries for reverse engineering. - [roadwy/cve-search_mcp](https://github.com/roadwy/cve-search_mcp) 🐍 🏠 - A Model Context Protocol (MCP) server for querying the CVE-Search API. This server provides comprehensive access to CVE-Search, browse vendor and product、get CVE per CVE-ID、get the last updated CVEs. From eaba6acc763eb9dc85f45060e33b2e9634546f22 Mon Sep 17 00:00:00 2001 From: Rafael Vinicius Pra Date: Mon, 16 Mar 2026 10:33:16 +0100 Subject: [PATCH 2/2] Add Glama score badge as required --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index c97c3f66..0722deaa 100644 --- a/README.md +++ b/README.md @@ -1636,7 +1636,7 @@ Tools for conducting research, surveys, interviews, and data collection. - [panther-labs/mcp-panther](https://github.com/panther-labs/mcp-panther) πŸŽ–οΈ 🐍 ☁️ 🍎 - MCP server that enables security professionals to interact with Panther's SIEM platform using natural language for writing detections, querying logs, and managing alerts. - [pullkitsan/mobsf-mcp-server](https://github.com/pullkitsan/mobsf-mcp-server) πŸ¦€ 🏠 🍎 πŸͺŸ 🐧 - A MCP server for MobSF which can be used for static and dynamic analysis of Android and iOS application. - [qianniuspace/mcp-security-audit](https://github.com/qianniuspace/mcp-security-audit) πŸ“‡ ☁️ A powerful MCP (Model Context Protocol) Server that audits npm package dependencies for security vulnerabilities. Built with remote npm registry integration for real-time security checks. -- [rafapra3008/cervellaswarm](https://github.com/rafapra3008/cervellaswarm/tree/main/packages/mcp-server) 🐍 🏠 🍎 πŸͺŸ 🐧 - Verify AI agent communication protocols using session types. Formal specification with Lean 4 proofs, linter, formatter, and LSP. Catches deadlocks and role violations before deployment. +- [rafapra3008/cervellaswarm](https://github.com/rafapra3008/cervellaswarm/tree/main/packages/mcp-server) [![rafapra3008/cervellaswarm MCP server](https://glama.ai/mcp/servers/rafapra3008/cervellaswarm/badges/score.svg)](https://glama.ai/mcp/servers/rafapra3008/cervellaswarm) 🐍 🏠 🍎 πŸͺŸ 🐧 - Verify AI agent communication protocols using session types. Formal specification with Lean 4 proofs, linter, formatter, and LSP. Catches deadlocks and role violations before deployment. - [rad-security/mcp-server](https://github.com/rad-security/mcp-server) πŸ“‡ ☁️ - MCP server for RAD Security, providing AI-powered security insights for Kubernetes and cloud environments. This server provides tools for querying the Rad Security API and retrieving security findings, reports, runtime data and many more. - [radareorg/r2mcp](https://github.com/radareorg/radare2-mcp) 🍎πŸͺŸπŸ§πŸ πŸŒŠ - MCP server for Radare2 disassembler. Provides AI with capability to disassemble and look into binaries for reverse engineering. - [roadwy/cve-search_mcp](https://github.com/roadwy/cve-search_mcp) 🐍 🏠 - A Model Context Protocol (MCP) server for querying the CVE-Search API. This server provides comprehensive access to CVE-Search, browse vendor and product、get CVE per CVE-ID、get the last updated CVEs.