搜索结果：language（36 个）

结合搜索引擎、网页抓取与 LLM，针对任意主题开展迭代式深度研究的 AI 助手。

多智能体（Multi-Agent）框架，模拟 AI 软件公司流程，迈向自然语言编程。

无代理（Agent-less）漏洞扫描器，支持 Linux、FreeBSD、容器、WordPress、语言依赖库及网络设备。

《深入理解 AI Agent：设计原理与工程实践》开源主仓库，包含全书正文、编译版 PDF 与配套代码。

涵盖 Prompt 工程、上下文工程、RAG 与 AI Agent 的全套指南、论文及学习资源。

基于大语言模型构建的自动化渗透测试智能体框架。

Copilot 是一个基于 Haskell 的硬实时系统运行时验证框架。它解决嵌入式和硬实时系统在运行时的安全监测与正确性验证难题。核心功能支持用流式语言编写高级规范，并能将其生成时间与内存恒定的 C99 监控代码，同时提供测试解释器和定理证明支持。

Monoscope 是基于 Haskell 开发的开源可观测性平台，解决遥测数据存储成本高、检索难的问题。它支持将日志、指标和链路追踪低成本存入兼容 S3 的存储桶；核心功能包括原生 OpenTelemetry 集成、实时流式查看、大模型自然语言查询，以及通过 AI Agent 自动检测异常并发送报告。

支持自托管的 AI 代码辅助工具。

基于“复制即翻译”理念的外语阅读与即时翻译辅助工具。

Agda 是一个基于依值类型（Dependent Types）的编程语言兼交互式定理证明器，使用 Haskell 开发。它主要用于类型理论研究和高可靠性程序验证，支持开发者编写严谨的程序代码，并利用其强大的类型系统进行数学定理的形式化交互证明、类型检查与编译。

用于训练、部署和评估大语言模型的开放平台，Vicuna 与 Chatbot Arena 的发布仓库。

阿里经实战检验的混合架构代码评审工具，结合确定性流程与 LLM Agent 行级审查。

极简的 IT 自动化平台，涵盖代码部署、系统维护与网络配置的全流程自动化。

运行于页面的 JavaScript GUI Agent，支持用自然语言直接操控 Web 界面。

终端里的 Agentic 编程工具，能理解代码库、执行日常任务、解释复杂代码并处理 Git 工作流。