lissy93/web-check

1. Strix 是一个开源 AI 黑客工具，通过自主智能体模拟真实攻击者，帮开发者自动发现并修复应用中的安全漏洞。 2. 基于 Python 构建，使用 Docker 沙箱隔离执行，集成多种 LLM 驱动多个协作代理，配备 HTTP 代理、浏览器自动化、终端等完整黑客工具链。 3. 亮点是能生成真实可利用的漏洞证明（PoC）而非静态误报，支持 CI/CD 集成在合入代码前拦截风险，适合应用安全测试、快速渗透测试和漏洞赏金自动化场景。

1. 解决什么问题：PentAGI 是一个全自动的 AI 代理系统，能够自主规划和执行复杂的渗透测试任务，替代人工完成从侦查到漏洞利用的完整流程。 2. 主要技术栈或实现方式：基于 Go 语言和 Docker 微服务架构，内置 20 多种专业安全工具，集成多种大语言模型（如 OpenAI、Ollama 等），使用 PostgreSQL 与 pgvector 存储记忆，并通过 Neo4j 知识图谱强化上下文理解。 3. 亮点或适用场景：提供完全隔离的沙箱化执行、长期记忆与知识图谱语义追踪，可自动生成详细漏洞报告，适合安全团队进行自主攻防演练、持续安全测试与红队自动化。

1. 通过输入一个或多个用户名，在超过400个社交网站中检测是否存在对应账号，实现跨平台账号发现与身份关联。 2. 使用Python开发，通过HTTP请求检测目标站点是否存在该用户名的公开页面，支持命令行操作及多种输出格式。 3. 覆盖范围极广、使用简单，适用于开源情报（OSINT）调查、个人数字足迹审计、安全研究及账号关联分析等场景。

1. 这是一个面向AI安全代理的开源技能库，提供817条结构化网络安全技能，覆盖29个安全领域，使AI代理能像资深分析师一样执行调查与响应。 2. 主要采用Python实现，遵循agentskills.io开放标准，将每条技能统一映射到MITRE ATT&CK、NIST CSF 2.0、MITRE ATLAS、D3FEND、NIST AI RMF及MITRE F3六大框架。 3. 亮点在于单一技能可同时满足六种合规框架映射，并新增MITRE F3欺诈对抗技术覆盖，适用于在Claude Code、GitHub Copilot、Cursor等20+平台中快速为AI代理注入生产级安全能力。

1. 它是一个专门扫描 AI 代理技能（如 Claude Code、Codex CLI 等使用的技能）的安全工具，在安装前检测漏洞、恶意模式和安全风险。 2. 基于 Python 3.12+ 实现，采用“快速静态分析 + 可选大语言模型语义评估”两阶段管道，内置覆盖

1. 一个开源情报（OSINT）工具，只需输入用户名即可自动在 3000 多个网站上搜索同名账号并收集公开信息，生成个人网络画像。 2. 采用 Python 异步爬虫，搭配自动更新的站点数据库和 SOCID 提取器，支持递归搜索、标签过滤及代理绕过，并可集成 OpenAI 兼容 API 生成 AI 分析摘要。 3. 无需任何 API 密钥，具备网页可视化界面、多格式报告导出和 Tor/I2P 支持，适用于安全调查、社交媒体溯源和数字足迹审计等场景。