搜索结果：verification（3 个）

今日热门（多来源加权）本周热门本月热门最近新增 Star 增长最快 Fork 增长最快商业潜力较高适合个人开发者

按分类缩小范围

全部分类 AI 应用与 AI Agent AI 模型与开发框架自动化与工作流数据分析与数据处理网站与 SaaS 工具效率与办公工具图像、视频与音频内容创作与媒体工具电商与营销工具游戏与娱乐网络与基础设施开发者工具安全与隐私工具教育与学习其他

mvt

综合 65

移动端取证工具包，用于检测移动设备是否存在潜在的安全入侵迹象。

Python 15,958 1,548 2026-11-10

安全与隐私工具数据分析与数据处理部署：待检测

liquidhaskell

综合 53

LiquidHaskell 是面向 Haskell 的形式化验证工具。它通过引入细化类型（Refinement Types）并结合 Z3 等 SMT 求解器，帮助开发者对代码逻辑进行严格的形式化验证。它可以作为 GHC 插件直接运行，从而在编译期检查程序性质并发现潜在错误。

Haskell 1,341 168 2026-11-01

网站与 SaaS 工具自动化与工作流数据分析与数据处理部署：待检测

tamarin-prover

综合 51

〔中文简介暂未生成〕 Main source code repository of the Tamarin prover for security protocol verification.

Haskell 561 170 2026-11-09

安全与隐私工具数据分析与数据处理效率与办公工具部署：待检测