观看本地 qwen3:8b 将一个英文问题转化为 9 节点调查图——经计划、确定性门控准入,并在浏览器中实时运行(开源,MIT)
摘要
GraphARC 是一款开源 MIT 许可工具,利用本地 8B 模型(qwen3:8b)来规划并执行多节点调查图,用于根因分析;通过确定性准入门控强制执行策略与预算检查。它提供实时浏览器视图、仅追加的 JSONL 审计轨迹,并支持通过 CLI 使用 Ollama、OpenRouter、OpenAI 或 Claude。
视频展示的是真实运行,而非模拟:grapharc go "why did checkout latency spike at 09:14 UTC?" --model ollama/qwen3:8b 本地 8B 模型提出图结构 → triage 扇出为四个并行证据拉取,在 correlate 汇合,然后 hypothesize → verify → report。确定性准入门控检查提案(注册表、策略、预算、深度、无环性——每个提案都会执行全部五项检查,因此模型会收到完整的反对列表,而不仅仅是第一个)。只有在此之后,任何内容才会执行。每个节点在运行时变为琥珀色,完成时变为绿色,并显示其自身的 token 费用。我最关心的部分是:拒绝就是特性。我给它输入了“立即缓解故障:回滚昨晚的部署”,而策略明确禁止 rollback 这类操作。第 1 轮:被拒绝,policy/edge_denied。第 2 轮:再次尝试,仍被拒绝。第 3 轮:模型放弃回滚,转而提出只读调查,该提案获批并被暂停,直到人工批准才继续。三次结构化的拒绝引导 8B 模型远离了被禁止的操作,整个过程零执行,并保留完整审计轨迹。它还能处理我未预设的拓扑:当我要求“并行调查两个假设”时,qwen3:8b 提出了一个 16 节点图——从相同注册类型实例化出的两个完整调查分支,汇合于一个报告——一轮即获批,22 秒内完成执行。所有读写都基于同一条仅追加的 JSONL 记录:实时浏览器视图、重放、差异比较、指标、成本归属和 OTel 导出都是同一文件的视图,因此仪表板与审计轨迹不可能不一致。最坏情况成本在运行前就会给出定价;运行后记录每个节点的精确费用,即使在失败情况下也是如此。基于 LangGraph 构建。无需 API 密钥——可通过 CLI 配合 ollama、OpenRouter、OpenAI 或 Claude 订阅使用。pip install grapharc,演示阶段基于脚本化模型运行,因此试用无需任何费用。GitHub: https://github.com/CodeGraphContext/GraphARC PyPI: https://pypi.org/project/grapharc/ README 中如实记录了限制(准入机制授权的是节点的类型,而非其参数;进程内沙箱是纵深防御,而非内核边界)。乐于回答任何问题。喜欢就点个 Star,热爱就参与贡献吧!
相似文章
图工程?或者我们可以说是打了类固醇的智能体……
介绍 GraphARC,一个 MIT 许可的开源工具,允许模型在运行时编写智能体图拓扑,并配备确定性的准入门以确保可审计的执行,基于 LangGraph 构建,可通过 ollama 在本地运行或对接云 API。
有了 GraphARC,AI 代理从未如此可解释!
GraphArc 是一个开源工具,可将 AI 代理工作流可视化为交互式实时图形,使用户能够在执行前检查、调试和批准代理操作,从而让代理式 AI 更具可解释性和可控性。
@yoheinakajima:看看 http://activegraph.ai,把所有内容扁平化成一个单一的事件日志 :)
ActiveGraph 使用追加式事件日志为长时间运行的代理提供了一个持久、可回放的世界,支持分支、差异和谱系功能。
GraphBit:一种基于图的非线性代理编排框架
GraphBit是一种基于图的代理框架,采用Rust引擎实现确定性DAG编排,消除了幻觉和无限循环。在GAIA基准测试中,它达到了67.6%的准确率,且零框架诱导错误、低延迟。
@yoheinakajima:试试这个提示:“分析 http://activegraph.ai、博客文章等,了解其声称的内容,验证它们,并写一篇…”
ActiveGraph 是一个用于长期运行代理的开源基础设施,使用事件溯源的反应式图来实现可审计、可分支、可重放的代理状态。它引入了用于代理协调和状态管理的新架构层。