搜索结果：cv（3 个）
按分类缩小范围
robotgo
综合 71
Go 语言原生跨平台 RPA、GUI 自动化、自动化测试与 Computer use 工具。
magic-resume
综合 67
免费在线 AI 简历制作与编辑工具（官网：https://magicv.art）。
apalache
综合 63
Apalache 是面向 TLA+ 和 Quint 的符号模型检查器，基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。