產品

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。來源

同分類研究對象

軟體開發 / 測試與程式碼品質

這些產品屬於同一目錄分類。選型時請進一步核對客戶任務、功能與部署要求。

產品每月造訪次數營收佐證
PostmanPostman 為個人開發者、團隊和企業提供 API 開發、測試、監控、協作與治理平台，並通過 AI 自動化請求、測試和工作流。2.7M未公開
ApplauseApplause 為企業提供結合真實使用者、人工智慧和自動化的全託管軟體測試服務，幫助驗證應用、網站和 AI 體驗的品質。1.2M未公開
Playwright一個面向開發者和 AI 智慧體的網頁自動化與測試工具，可驅動多種瀏覽器進行測試和腳本操作。1.1M未公開
BrowserStackBrowserStack為開發者和測試團隊提供雲端平台，用於測試網站和行動應用的功能、性能及視覺表現。1M未公開
TestMu AITestMu AI 為開發者和品質保障團隊提供 AI 驅動的測試平台，自動規劃、編寫、執行和分析網頁、行動應用及 AI 智慧體的端到端測試。796.4K未公開
BetterBugsBetterBugs幫助QA、開發和支援團隊通過截圖、螢幕錄影、瀏覽器回放及開發者日誌建立帶有豐富上下文的漏洞報告，並提供AI輔助調試。663.3K未公開
查看「測試與程式碼品質」全部產品與定價基準 →