
masq
Live recon and posture auditing for AI agent infrastructure: scans MCP configs, session logs, and APIs for secrets, poisoned catalogs, and CoT leaks.

Live recon and posture auditing for AI agent infrastructure: scans MCP configs, session logs, and APIs for secrets, poisoned catalogs, and CoT leaks.
Defensive analysis of CVE-2009-4496 in Boa 0.94.14rc21, including source-code review, patch analysis, severity assessment, and ethical scope.

Detects and auto-fixes hardcoded secrets in Python repos — refuses when the fix could break your code

Automated SOC 2 change management for GitLab CI.

Formalizing np1sec using Tamarin and other FM (see https://github.com/equalitie/np1sec)

GitHub Action that scans ML model files for malicious code and security vulnerabilities

Scan your NGINX configuration to determine whether it is affected by CVE-2026-42945.

Proof-of-concept exploit for CVE-2024-51132, an XML External Entity (XXE) injection vulnerability in HAPI FHIR core libraries, enabling SSRF and…

CVE-2026-42533 Nginx

A Bitbucket Pipe to trigger SonarCloud analysis

Academic research on N-Day Linux kernel vulnerabilities, analyzing CVE-2024-36886 in the TIPC networking subsystem, lifecycle, impact, and mitigation…

Heap buffer overflow in GNOME gThumb and Linux Mint Pix

Yet Another APK Static Analyzer

Scan a repo for AI-IDE config files that can trigger RCE via Claude Code hooks, Cursor rules, MCP auto-registration. Detects CVE-2025-59536,…

a scenario based on CVE-2022-25845 yielding a TP for metadata based SCA but a FN if the callgraph is used

Symbolic execution tool

A service that analyzes docker images and scans for vulnerabilities

CVE-2020-37268 — Rocq/Coq Print Assumptions Omits Unsafe Universe Checking via Parameter Inline