neus/network
- 类型：github
- 标识：neus/network
- 链接：https://github.com/neus/network
- 主题：agent
- 主分类：engineering
- 形态：framework
- 分类：skill
- Stars：24
- 周增：+0
- 语言：JavaScript
- 许可：Apache-2.0
- 最近提交：2026-08-20
- 简介：Portable proof infrastructure for humans and AI.
- 上次采集：2026-08-20
- 首次采集：2026-08-20
- 待LLM分类：否
- 成熟度：research
- 简介中文：面向人类与 AI 的便携式证明基础设施。
- 场景：proof infrastructure、verification、portable runtime
- 来源文件：
- [GitHub Search]