Merge pull request #12603 from riyandhiman14/add-lachesis

Add Lachesis to Security
This commit is contained in:
Frank Fiegel
2026-09-07 07:57:40 -06:00
committed by GitHub
+1
View File
@@ -3556,6 +3556,7 @@ Tools for conducting research, surveys, interviews, and data collection.
- [zkproofport/proofport-ai](https://github.com/zkproofport/proofport-ai) [![proofport-ai MCP server](https://glama.ai/mcp/servers/zkproofport/proofport-ai/badges/score.svg)](https://glama.ai/mcp/servers/zkproofport/proofport-ai) 📇 ☁️ - Zero-knowledge proof generation MCP server for AI agents. Lets agents prove identity claims (Coinbase KYC, Country, Google OIDC, Google Workspace, Microsoft 365) without revealing personal information. Server-side proving in AWS Nitro Enclave TEE, paid via x402 USDC on Base. Built on Noir circuits (Aztec) and ERC-8004 agent identity. Reference application [OpenStoa](https://github.com/zkproofport/openstoa) won 1st place at The Synthesis Hackathon ("Agents That Keep Secrets" track). - [zkproofport/proofport-ai](https://github.com/zkproofport/proofport-ai) [![proofport-ai MCP server](https://glama.ai/mcp/servers/zkproofport/proofport-ai/badges/score.svg)](https://glama.ai/mcp/servers/zkproofport/proofport-ai) 📇 ☁️ - Zero-knowledge proof generation MCP server for AI agents. Lets agents prove identity claims (Coinbase KYC, Country, Google OIDC, Google Workspace, Microsoft 365) without revealing personal information. Server-side proving in AWS Nitro Enclave TEE, paid via x402 USDC on Base. Built on Noir circuits (Aztec) and ERC-8004 agent identity. Reference application [OpenStoa](https://github.com/zkproofport/openstoa) won 1st place at The Synthesis Hackathon ("Agents That Keep Secrets" track).
- [zyx77550/sparda](https://github.com/zyx77550/sparda) [![zyx77550/sparda MCP server](https://glama.ai/mcp/servers/zyx77550/sparda/badges/score.svg)](https://glama.ai/mcp/servers/zyx77550/sparda) 📇 🏠 🍎 🪟 🐧 - Injects a live, reversible MCP server into a running Express / FastAPI / Next.js app — reads safe by default, writes gated behind human confirmation. The same engine also proves deploys and PRs (`apocalypse` / `review`). - [zyx77550/sparda](https://github.com/zyx77550/sparda) [![zyx77550/sparda MCP server](https://glama.ai/mcp/servers/zyx77550/sparda/badges/score.svg)](https://glama.ai/mcp/servers/zyx77550/sparda) 📇 🏠 🍎 🪟 🐧 - Injects a live, reversible MCP server into a running Express / FastAPI / Next.js app — reads safe by default, writes gated behind human confirmation. The same engine also proves deploys and PRs (`apocalypse` / `review`).
- [cuttalo/depscope](https://github.com/cuttalo/depscope) [![cuttalo/depscope MCP server](https://glama.ai/mcp/servers/cuttalo/depscope/badges/score.svg)](https://glama.ai/mcp/servers/cuttalo/depscope) 📇 ☁️ 🏠 - Package Intelligence for AI agents. 22 tools across 17 ecosystems (npm/pypi/cargo/go/maven/nuget/rubygems/composer/pub/hex/swift/cocoapods/cpan/hackage/cran/conda/homebrew) — check health, vulnerabilities (OSV + CISA KEV + EPSS), typosquats, malicious flags, alternatives, known bugs, breaking changes, stack compatibility and error-to-fix. 31k+ packages, 2.2k+ CVEs enriched. Zero auth, MIT. Remote URL https://mcp.depscope.dev/mcp or stdio `npx depscope-mcp`. - [cuttalo/depscope](https://github.com/cuttalo/depscope) [![cuttalo/depscope MCP server](https://glama.ai/mcp/servers/cuttalo/depscope/badges/score.svg)](https://glama.ai/mcp/servers/cuttalo/depscope) 📇 ☁️ 🏠 - Package Intelligence for AI agents. 22 tools across 17 ecosystems (npm/pypi/cargo/go/maven/nuget/rubygems/composer/pub/hex/swift/cocoapods/cpan/hackage/cran/conda/homebrew) — check health, vulnerabilities (OSV + CISA KEV + EPSS), typosquats, malicious flags, alternatives, known bugs, breaking changes, stack compatibility and error-to-fix. 31k+ packages, 2.2k+ CVEs enriched. Zero auth, MIT. Remote URL https://mcp.depscope.dev/mcp or stdio `npx depscope-mcp`.
- [UnboundCompute/lachesis](https://github.com/UnboundCompute/lachesis) 🐍 🏠 🍎 🐧 - Compiler-precise code property graph for C, Python, and TypeScript, navigable over MCP. Exposes callers/callees, data- and taint-flow with source→sink witnesses, points-to, and guard/sink structure so an agent can reason about how a value moves and where it reaches a sink unguarded — not just where a name appears. Zero-config: `uvx --from lachesis-cpg lachesis-mcp`. [![UnboundCompute/lachesis MCP server](https://glama.ai/mcp/servers/UnboundCompute/lachesis/badges/score.svg)](https://glama.ai/mcp/servers/UnboundCompute/lachesis)
- [UPinar/contrastapi](https://github.com/UPinar/contrastapi) [![UPinar/contrastapi MCP server](https://glama.ai/mcp/servers/UPinar/contrastapi/badges/score.svg)](https://glama.ai/mcp/servers/UPinar/contrastapi) 🐍 ☁️ - Security intelligence API with 31 MCP tools for CVE/EPSS/KEV lookup, domain recon (DNS/WHOIS/SSL/subdomains/CT logs), IOC/threat intel, OSINT (email/phone/username), and code security scanning (secrets, injection). Free 100 req/hr. - [UPinar/contrastapi](https://github.com/UPinar/contrastapi) [![UPinar/contrastapi MCP server](https://glama.ai/mcp/servers/UPinar/contrastapi/badges/score.svg)](https://glama.ai/mcp/servers/UPinar/contrastapi) 🐍 ☁️ - Security intelligence API with 31 MCP tools for CVE/EPSS/KEV lookup, domain recon (DNS/WHOIS/SSL/subdomains/CT logs), IOC/threat intel, OSINT (email/phone/username), and code security scanning (secrets, injection). Free 100 req/hr.
- [vaulted-fyi/vaulted-mcp-server](https://github.com/vaulted-fyi/vaulted-mcp-server) [![vaulted-fyi/vaulted-mcp-server MCP server](https://glama.ai/mcp/servers/vaulted-fyi/vaulted-mcp-server/badges/score.svg)](https://glama.ai/mcp/servers/vaulted-fyi/vaulted-mcp-server) 📇 🏠 🍎 🪟 🐧 - Share encrypted, self-destructing secrets from your AI agent. Zero-knowledge E2E encryption. Agent-blind input sources (env:, file:, dotenv:) keep secrets out of LLM context. - [vaulted-fyi/vaulted-mcp-server](https://github.com/vaulted-fyi/vaulted-mcp-server) [![vaulted-fyi/vaulted-mcp-server MCP server](https://glama.ai/mcp/servers/vaulted-fyi/vaulted-mcp-server/badges/score.svg)](https://glama.ai/mcp/servers/vaulted-fyi/vaulted-mcp-server) 📇 🏠 🍎 🪟 🐧 - Share encrypted, self-destructing secrets from your AI agent. Zero-knowledge E2E encryption. Agent-blind input sources (env:, file:, dotenv:) keep secrets out of LLM context.