产品

h5i

含 AI

基于 Axum 的 Rust Web 框架，支持通过 Lean 4 进行形式化验证，并提供用于安全测试与红队的 AI 代理及开发工具。

h5i.dev 源码★ 33Apache-2.0软件开发 / 测试与代码质量

AI 竞品立项评估
桌面端
移动端
月访问
<5K
2026 年 9 月
公开收入
未公开
暂无公开收入证据
入门价
免费
没有月付订阅价
创作者
Koukyosyumei
未关联社交账号
首次发布
5 个月前
2026-06-17 · 估算

访问

近 12 个月
月访问数据截至 2026 年 9 月 · 2026 年 10 月待更新
事件2 个营销动作

营销动作

发布、搜索与内容、引荐、促销

  • 在 Product Hunt 发布发布

    Build and formally verify web apps with Rust and Lean 4

    10 月 24 日 · 21 天前发布页

    当时 月访问 <5K

  • 在 Product Hunt 发布发布

    Next-Gen AI-Aware Git. Sandbox, Token Saving, Agent Radio

    6 月 17 日 · 5 个月前发布页

开源仓库与 Agent 生态

GitHub 开源与智能体接入
h5i-dev/h5i
最近提交 2026-10-31
GitHub 星标
★ 33
分支数 (Forks)
4
开源协议
Apache-2.0
主要语言
Rust
查看同赛道开源项目 →

Agent 智能体、MCP 与开发者接入

CLI / SDK
接入文档
连接生态与集成：
AxumLean 4AeneasCharonRust-CUDAChromium
支持调用的能力：
回归测试工具Lean 4 验证核心逻辑证明授权与隔离侦察并重放 HTTP发现转回归测试内核式架构
浏览全部开发者与 CLI 工具 →

流量来源

2026 年 9 月

访问构成

渠道

  • 自然搜索39%
  • 直接访问26%
  • 外部引荐14%
  • 展示广告7%
  • 其他15%

国家/地区

  • 日本100%

搜索

站点权重 —域名注册 2026-03-11

这个网站还没有搜索关键词数据。

流量数据：Vaneform

定价

官网未公开套餐价格。

试用：未提供 · 观察于 2026-11-02 · 来源页面

页面与变化

开始记录于 2026-06-17

关键页面

每周快照

变化

开始记录以来，定价、套餐与定位都没有变化。

问题与证据

h5i 的网站访问量是多少？
Vaneform 估算 2026-09 网站访问量为 <5K。访问量包含重复访问，付费客户数与收入需分别查看对应证据。来源
h5i 是什么产品，支持哪些平台？
h5i 归属「测试与代码质量」赛道：基于 Axum 的 Rust Web 框架，支持通过 Lean 4 进行形式化验证，并提供用于安全测试与红队的 AI 代理及开发工具。。 支持平台包括：CLI 与 SDK。
h5i 是开源项目吗？采用什么协议？
h5i 拥有公开代码仓库（https://github.com/h5i-dev/h5i），采用 Apache-2.0 协议，记录有 33 个 GitHub Stars。来源

同分类研究对象

软件开发 / 测试与代码质量

这些产品属于同一目录分类。选型时请进一步核对客户任务、功能与部署要求。

产品月访问收入证据
Postman为个人开发者、团队和企业提供 API 开发、测试、监控、协作与治理平台，并通过 AI 自动化请求、测试和工作流。2.7M未公开
Applause为企业提供结合真实用户、人工智能和自动化的全托管软件测试服务，帮助验证应用、网站和 AI 体验的质量。1.2M未公开
Playwright面向开发者和 AI 智能体的网页自动化与测试工具，可驱动多种浏览器进行测试和脚本操作。1.1M未公开
BrowserStack为开发者和测试团队提供云端平台，用于测试网站和移动应用的功能、性能及视觉表现。1M未公开
TestMu AI为开发者和质量保障团队提供 AI 驱动的测试平台，自动规划、编写、执行和分析网页、移动应用及 AI 智能体的端到端测试。796.4K未公开
BetterBugs帮助QA、开发和支持团队通过截图、录屏、浏览器回放及开发者日志创建带有丰富上下文的漏洞报告，并提供AI辅助调试。663.3K未公开
查看「测试与代码质量」全部产品与定价基准 →