软件

1. 首页
2. 软件

AutoDev

AutoDev是一款由微软研发的AI编程辅助工具，专注于自动化软件工程任务，如代码编写、调试、测试和版本控制等。它通过目标定义与任务分配、代码生成、测试执行、代码维护、文件编辑、信息检索、构建与执行、多智能体协作、对话管理和安全隐私保护等功能，提高软件开发效率和质量。AutoDev的架构设计确保了其高效、安全和可控性，支持在无干预情况下自主完成任务。

AI项目与工具 2025年06月12日 33 点赞 0 评论 477 浏览

Cradle

一个通用计算机控制的多模态AI框架，它可以使AI Agent能够像人类一样，能够直接控制键盘和鼠标，实现与任意开源代码或闭源代码软件的交互。

Ai开源项目 2025年06月05日 46 点赞 0 评论 480 浏览

Claude 4

Claude 4 是 Anthropic 公司推出的新一代 AI 模型，包括 Claude Opus 4 和 Claude Sonnet 4。Claude Opus 4 擅长复杂任务和长时间运行的工作流，如代码生成、优化和调试，具有强大的推理能力。Claude Sonnet 4 在编程和推理上表现优异，适合日常使用。两者均支持工具使用、记忆管理、多模态处理等功能，提升 AI Agent 的效率与实

AI项目与工具 2025年06月11日 36 点赞 0 评论 481 浏览

Bigjpg图片无损放大

bigjpg是款智能的图片无损放大软件,它能够做到放大图片且不影响图片的分辨率。

Ai图片处理 2025年06月05日 12 点赞 0 评论 483 浏览

Subtitle Edit

Subtitle Edit 是一款免费开源的多功能字幕编辑器，支持超过300种字幕格式。它具备字幕同步、创建、翻译、音频波形可视化、视频播放、AI语音识别、AI自动翻译和OCR技术等功能，适用于影视后期、多语言内容创作、教育培训及辅助听力障碍者等场景。其界面友好，操作简便。

AI项目与工具 2025年06月12日 61 点赞 0 评论 486 浏览

O1

O1-CODER是一款由北京交通大学研究团队开发的开源编码工具，专精于编程任务。它通过结合强化学习和蒙特卡洛树搜索技术，实现了从伪代码到完整代码的生成，并通过测试用例生成器和过程奖励模型优化代码质量。该工具支持自动化代码生成、代码质量提升、教育辅助以及软件测试等多种应用场景。

AI项目与工具 2025年06月12日 98 点赞 0 评论 486 浏览

Dpdf

好用的在线 PDF工具网站，提供免费的在线PDF工具，包括合并、拆分、转换PDF等功能。

Ai平台模型 2025年06月05日 95 点赞 0 评论 489 浏览

ShanaEncoder视频压缩软件

视频压缩软件ShanaEncoder是一款韩国厂商制作的视频压缩工具，ShanaEncoder是最强的视频压制软件，支持CPU和GPU同时工作，速度快，清晰度高，B站指定压制工具。

视频剪辑 2025年06月05日 92 点赞 0 评论 490 浏览

OpenShot

一款免费、开源的视频编辑软件，OpenShot提供丰富的视频效果、标题和音轨功能，用户可以轻松创建和编辑高质量的视频。

视频剪辑 2025年06月05日 80 点赞 0 评论 492 浏览

Memento

一款基于mpv构建的开源视频播放器，专为学习日语设计。它巧妙地将视频播放与语言学习功能结合，支持通过影视内容进行语法分析、生词捕捉和记忆卡片制作。

Ai开源项目 2025年06月05日 80 点赞 0 评论 498 浏览