关键词按回车检索;分类和排序切换自动检索 关键词回车检索;分类/排序自动检索
符合当前检索条件的共有 391 个
Test & Security v1.0.0

使用 Mobb MCP/CLI 扫描、修复并补救本地代码仓库中的安全漏洞。当用户要求扫描漏洞、运行安全检查、自动修复问题、补救发现的漏洞或应用 Mobb 修复时使用(例如:“扫描此仓库”、“修复安全问题”、“补救漏洞”、“在我的更改上运行 Mobb”)。

浏览量14 下载量13 查看
Lifestyle v1.0.0

hinge-liker

ClawHub

使用Android模拟器配合Gemini视觉AI自动为Hinge约会资料点赞。自动浏览完整资料,通过AI分析吸引力,对最佳照片或prompt点赞并附上幽默评论,跳过其他资料。每次会话后发送详细文本报告。适用于需要运行Hinge点赞、设置Hinge自动化、检查Hinge状态或管理每日约会应用滑动操作时使用。

浏览量41 下载量29 查看
Research & Science v1.0.0

acorn-prover

ClawHub

使用 Acorn 定理证明器验证并撰写数学与密码学形式化证明。适用于处理 Acorn 证明文件(.ac)、验证定理、形式化数学或密码学协议,以及用 Acorn 语言编写证明。触发场景包括:(1)创建或编辑 .ac 文件,(2)运行 acorn verify 命令,(3)形式化数学或密码学证明,(4)关于 Acorn 语法或标准库的问题

浏览量18 下载量19 查看