nv://persona/engineers

构建拓扑。
观察数据包。
证明可达性。

一个浏览器内的确定性模拟器。输入真实 CLI,捕获每个 frame,并用符号方式验证可达性。

浏览器优先确定性可分享无遥测

真实设备昂贵,很多模拟器不够诚实。

镜像仿真器需要授权二进制并消耗 CPU;简单模拟器跳过协议深度。netverdict 直接建模行为。

你得到什么

01

真实 CLI

输入熟悉的命令,并直接看到解析错误。

02

数据包可视化

将 ARP、OSPF、BGP、MPLS 和服务流量捕获为可复现 trace。

03

符号化可达性

检查所有匹配流、丢弃原因和逐跳决策。

04

多厂商 IR

不同 CLI 风格进入同一个规范模型。

可验证内容

每个结果都是确定性的:数据包路径、路由状态和判定都可重放。排障因此更像工程工作,而不是猜测。

打开工作区。

在浏览器中免费使用,可通过 URL 分享,并为可复现工程工作构建。