新工具1个月前
tamarin-prover
tamarin-prover/tamarin-prover用于安全协议的多集重写与约束求解符号验证工具，可证明保密性、认证性和等价性属性。
静态分析漏洞分析密码学+2
更新
已发布网络安全工具的简短编辑更新。
tamarin-prover/tamarin-prover
新工具1个月前
OpenHunterAI
lumoslab-innovation/openhunterai面向 Web、API 和 LLM 应用安全的本地优先 AI 红队。攻击者式推理、有证据支撑的发现，以及面向 AI 编码代理的技能。
防御工具侦察漏洞扫描器+9
新发布1个月前
prismor v1.51.0
prismorsec/prismor自托管式 AI 智能体运行时控制平面。在工具调用执行前，通过本地仪表盘观察、人工审批（HITL）或阻止恶意调用：涵盖密钥泄露、提示注入、供应链攻击等场景。与智能体无关（支持 Claude、codex、langchain 等）。
防御工具容器安全DevSecOps+5
新发布1个月前
missing-cve-nuclei-templates v2026-09-14
edoardottt/missing-cve-nuclei-templatesWeekly updated list of missing CVEs in nuclei templates official repository. Mainly built for bug bounty, but useful for penetration tests and…
漏洞扫描器漏洞分析Web安全+3
新发布1个月前
s3dns v0.2.30
olizimmermann/s3dns被动DNS服务器，通过解析DNS请求、追踪CNAME链，并在侦察过程中标记潜在的子域名接管，来检测暴露的云存储桶（AWS S3、GCP、Azure）。
OSINT (开源情报)侦察漏洞分析+5
新发布1个月前
MESH v0.2.0-beta
barghest-ngo/mesh加密的点对点网状VPN，用于远程移动取证，支持无线ADB和libimobiledevice数据获取、网络监控以及跨NAT和防火墙的入侵检测。
Android安全数据包嗅探与分析加密/解密工具+8
新发布1个月前
dependency-track v4.14.4
dependencytrack/dependency-track利用SBOM（软件物料清单）识别并降低软件供应链风险的智能组件分析平台，通过持续的漏洞检测和策略执行实现。
漏洞分析DevSecOps供应链安全
新工具1个月前
Kage-DFIR-toolkit
karim852/kage-dfir-toolkitWindows 主机 DFIR 分类控制台，串联工件收集、Sigma 关联时间线、YARA 扫描、套接字与账户检查、指标富化以及校准风险评分。
防御工具危害指标 (IOC) 管理漏洞分析+8
新工具1个月前
KUMO-Domain-Recon-Tool
karim852/kumo-domain-recon-tool域名 OSINT 与安全侦察框架，并行运行 26 个模块，用于 DNS、端口、子域名、泄露凭据、暴露端点、CVE 和技术指纹识别。
OSINT (开源情报)侦察漏洞扫描器+8
新发布1个月前
hosts v3.16.114
stevenblack/hosts🔒 整合并扩展来自多个精心挑选来源的 hosts 文件。可选择为色情、社交媒体和其他类别添加扩展。
信息收集恶意软件分析隐私保护+3