标签：工具

2026-03-22andy阅读(8)评论(0)

引言 在构建基于大语言模型（LLM）的 Agent 时，工具调用（Tool Use）是实现模型与外部系统交互的核心。然而，LLM 输出的不确定性极易引发安全风险，例如模型可能会生成超出范围的参数，或者尝试调用超出其权限的操作。本文将介绍如何...

2026-03-20andy阅读(17)评论(0)

如何利用大语言模型驱动的智能代理实现自动化漏洞扫描与修复建议 在当今的网络安全领域，传统的扫描工具（如 Nmap, Nuclei, OpenVAS）虽然功能强大，但往往产生大量的冗余日志和误报。利用 AI 基础设施，特别是大语言模型（LLM...

2026-03-16andy阅读(23)评论(0)

如何使用 Marabou 对小型神经网络进行端到端鲁棒性形式化验证 在 AI 基础设施的生产实践中，传统的测试（Testing）只能证明错误的存在，而不能证明模型在特定扰动下的绝对安全性。对于自动驾驶、医疗诊断等高风险领域，形式化验证（Fo...

2026-02-08andy阅读(115)评论(0)

Java 对象在 JVM 内存中有着固定的布局，通常由三部分组成：对象头（Header）、实例数据（Instance Data）和对齐填充（Padding）。其中，对象头包含了至关重要的运行时元数据，特别是 Mark Word（标记字段），...

2026-02-06andy阅读(165)评论(0)

在高风险应用场景（如金融信贷审批、医疗诊断辅助、自动驾驶决策）中，纯粹依赖AI模型输出是不可接受的。我们需要设计一个鲁棒的“人类干预”机制（Human-in-the-Loop, HITL），以确保模型的决策安全、可控且可追溯。 本文将聚焦于...

2026-01-17andy阅读(128)评论(0)

引言：为什么Agent的工具调用需要“双重保险”？ 在AI Agent的生产部署中，工具调用（Tool Use）是核心功能，但也是最大的安全隐患和可靠性挑战。LLM可能会因幻觉（Hallucination）生成无效、格式错误的参数，或者尝试...