Vulnhuntr开源项目 – 零样本漏洞检测工具

首款利用大型语言模型（LLM）进行零样本漏洞发现的工具，能自动分析代码，检测远程可利用的安全漏洞，帮助开发者及时发现和修复潜在的安全隐患。
Vulnhuntr的特点:
1. 利用大型语言模型进行零样本漏洞发现
2. 自动分析代码以检测安全漏洞
3. 识别远程可利用的安全漏洞

Vulnhuntr的功能:
1. 在代码库中运行Vulnhuntr以检测潜在的安全漏洞
2. 集成Vulnhuntr到CI/CD管道中以实现持续的安全检测
3. 使用Vulnhuntr生成安全审计报告

相关导航

K8sGPT官网 – 智能Kubernetes集群管理工具

K8sGPT是一款创新的AI工具，专门用于扫描Kubernetes集群、诊断和处理问题，利用简单的英语进行交流。它独特地结合了SRE（网站可靠性工程）专业知识，简化了识别集群中关键问题的过程，并将复杂信号转化为易于理解的建议，是负载健康分析、快速问题处理和深入AI分析的重要资产。

Lintrule官网 – 提升代码审查效率的强大工具

Lintrule 是一款命令行工具，旨在革新代码审查流程。它利用大语言模型（LLM）来强化政策执行和发现漏洞，显著提升代码质量和效率。Lintrule 超越传统的代码检查工具，能够处理一般工具无法管理的政策，同时捕捉测试可能遗漏的错误。

RepoAI官网 – 在线软件仓库管理与分析工具

RepoAI是一个在线平台，帮助开发者管理和分析他们的软件仓库。用户可以注册账户并连接他们的仓库，利用各种功能深入了解代码库，从而做出更好的决策。

Mitigated.io官网 – 安全报告协作处理平台

Mitigated.io是一个将渗透测试和风险评估报告转化为协作工作空间的平台，用户可以导入报告，邀请团队成员，并跟踪进度，以有效解决安全漏洞。

ArtPrompt-基于ASCII艺术的越狱攻击工具

ArtPrompt是一个基于ASCII艺术的越狱攻击项目，旨在绕过具有安全机制的语言模型（LLM）。通过利用ASCII艺术形式，该项目能够进行黑盒攻击，测试和评估LLM对非语义提示的识别能力，揭示其脆弱性和局限性。

天工AI搜索官网 – 首个AI搜索产品

天工AI搜索是昆仑万维推出的首个AI搜索产品，利用100亿参数级的大型语言模型‘天工’，提供精准、个性化的对话式回答。它集成了搜索、对话、写作、文档分析、绘图和PPT制作等多种功能，适合学习、工作和生活。

Othello-GPT-智能棋类游戏决策助手

Othello-GPT的工作令人信服地证明了大型语言模型能够构建复杂的世界模型，理解世界的结构和规则，超越简单的模式识别。

SWE-agent开源项目 – 自动修复代码的多功能工具

SWE-agent 是由普林斯顿大学和斯坦福大学的研究人员构建和维护的一个基于 GitHub 问题自动修复代码的工具。它不仅能够自动修复 GitHub 问题中的代码，还支持攻击性网络安全任务和竞赛编程挑战。作为一个多功能工具，SWE-agent 可以集成到 CI/CD 管道中，自动修复代码缺陷，提高开发效率。

ChatLLM开源项目 – 轻松玩转LLM，提供生产级API

ChatLLM 是一个基础知识库，旨在帮助用户轻松使用大型语言模型（LLM）。它提供生产级的API，支持前后端分离，并兼容多种LLM模型，如文心一言和讯飞星火。该项目易于集成和扩展，具有友好的用户界面，方便开发者和用户使用。

tox-dev/action-pre-commit-uv开源项目 – 自动化代码检查的GitHub Action

一个帮助自动化代码检查的GitHub Action，使用pre-commit工具与uv语言，提高代码质量和开发效率。该项目集成了pre-commit工具，支持多种代码检查，兼容uv语言，自动化运行以减少手动检查的时间，从而提高代码质量并减少潜在的错误。它还提供了多种配置选项，以灵活适配不同项目需求。

LLMmap-LLM版本识别技术

一种针对集成了大型语言模型（LLM）的应用的指纹识别技术，能够通过发送精心设计的查询来识别使用的特定LLM版本。

Kusho官网 – 创新的API测试AI工具

Kusho是一个旨在改变软件开发者API测试方式的AI工具，通过自动生成全面的测试套件，提升效率并确保软件无bug发布。它能够无缝集成到持续集成/持续部署(CI/CD)管道中，极大地节省开发者的手动测试时间，同时降低生产环境中的bug风险。

VMTP官网 – 视频处理协议，助力AI理解视频内容

VMTP（视觉媒体转录协议）是一个用于视频处理的协议，旨在帮助大型语言模型（LLMs）和AI代理理解视频输入。通过该协议，用户可以将视频信息转化为可供AI分析和处理的数据，从而提升AI对视频内容的理解能力。

imandra.ai官网 – 赋能AI的逻辑推理平台

Imandra是一个推理即服务的平台，赋予AI逻辑推理能力，适用于构建大型语言模型的思维模型、正式验证论证和结果，以及可审计的逻辑推理。

awesome-agents4science开源项目 – 科学探索Agent资源汇集

科学探索Agent资源列表：汇集了关于大型语言模型和科学研发Agent的精选论文，旨在促进科学研究与人工智能的结合，提供前沿研究动态和资源

golangci-lint开源项目 – 快速的 Go linters 运行器

golangci-lint 是一个快速的 Go linters 运行器，支持并行运行 linter，使用缓存，支持 yaml 配置，并与所有主要 IDE 集成。

imodelsX开源项目 – 可解释的自然语言处理模型

imodelsX是一个专注于自然语言处理的可解释性模型，利用大型语言模型为数据集提供自然语言解释，增强NLP任务的透明度，并支持多种提示和模型选择。

Opengrep开源 – 开源静态代码安全分析工具

Opengrep 是一个由多个AppSec组织联合发起的开源静态代码分析工具，作为Semgrep的分支项目，旨在保持静态应用安全测试（SAST）的开放性和中立性。支持30+编程语言，提供极速扫描和灵活输出格式，解锁了Semgrep Pro的跨文件分析等高级功能，是应对Semgrep商业化的社区替代方案。

Octomind官网 – 自动生成和维护端到端测试

Octomind是一个基于AI的工具，能够自动生成、运行和修复端到端测试。只需提供一个网址，Octomind就能发现、执行并维护您的测试，适用于Web应用程序测试和CI/CD管道集成。

通義千問官网 – 阿里巴巴雲開發的大型語言模型

通義千問（Tongyi Qianwen），也稱為Qwen，是一系列由阿里巴巴雲開發的大型語言模型。該項目旨在提供智能且自然的語言互動，支援中文和英文，類似於ChatGPT。它集成於阿里巴巴的各種業務功能，並為客戶和開發者提供定制和部署的機會，促進AI應用的開發。通義千問系列包括多個專門模型，如Qwen 2.5、Qwen2.5-Max、Qwen2.5-Coder、Qwen2.5-Math、Qwen-VL、Qwen-Audio等，涵蓋自然語言處理、編碼輔助、數學問題解決、視覺和音頻分析等多個領域。

暂无评论

暂无评论...