热门 Windows 版免费类似GGCode Desktop
GGCode Desktop Windows 版
- 免费
- 4.3
- V1.3.70
查看广告以免费下载
GGCode 桌面版：一个在您的代码库上操作的 AI 同事
CodeShellManager 是一款多功能桌面应用程序，专为 Windows 设计，使用户能够在方便的选项卡和网格布局终端中高效运行多个 AI 编码代理。这个工具对于需要同时管理各种命令行界面 (CLI) 工具的开发人员尤其有益，例如 Claude Code、Codex 和 GitHub Copilot。该应用程序支持对所有会话输出进行全文搜索，使用户能够快速找到特定信息。此外，CodeShellManager 提供了诸如等待输入的代理的警报检测和每个会话的 git 状态更新等功能，从而提高用户的生产力。用户还可以利用睡眠/唤醒功能，这使他们能够在不丢失状态的情况下停放会话，并且该应用程序确保在重启后会话的完全持久性。这使它成为希望简化工作流程的开发人员的宝贵工具。
探索 Letta Inc. 的 Letta Code，这是一个以内存为先的 AI 代理，旨在创建能够保留长期上下文的有状态代理。它充当一个与模型无关的控制平面，配备桌面和 CLI 工具，让代理能够读取和写入本地文件，维护分层记忆，并为复杂任务生成子代理。关键元素包括分层记忆、基于 git 的 MemFS、技能学习和 .af 导出。该应用程序针对需要可审计的、长期运行的代理行为的软件工程师和 AI 研究人员，适用于桌面系统。
Coq 是一个强大的形式证明管理系统，旨在帮助开发数学证明。它作为 Coq 证明助手的一个发行版，捆绑了一系列增强其功能的 Coq 库。该平台特别适合需要强大工具进行形式验证和定理证明的用户。Coq 支持多种操作系统，包括 Windows、MacOS 和各种 Linux 发行版，确保开发人员和研究人员的广泛可访问性。安装过程通过一组脚本简化，这些脚本促进了 OPAM、Coq 及其库和插件的编译和配置。这帮助用户在不同环境中实现一致的结果，使 Coq 更容易集成到他们的工作流程中。凭借其免费许可证，Coq 为那些深入研究形式方法和软件验证的人提供了宝贵的资源。
CarryCode 是一个为 Windows 设计的先进 AI 编码代理，通过自然语言交互增强编程体验。它高效地促进编写、重构、调试和理解代码，使其成为任何级别开发人员不可或缺的工具。CarryCode 支持超过 17 个大型语言模型 (LLM) 提供商，包括 OpenAI 和 Google Gemini，确保多功能和智能的代码生成与优化。该应用程序具有用户友好的终端界面，包括主题、语法高亮和代码差异预览，以提高可用性。它还结合了 MCP 协议以实现可扩展性，并支持与 Claude Code 兼容的 SKILL 框架。凭借其强大的功能，CarryCode 使开发人员能够简化编码过程，专注于创造力和解决问题。
Windows 的 SSH-Copy-ID 是一个命令行工具，旨在简化将 SSH 公钥复制到远程服务器的过程。该工具复制了 Linux ssh-copy-id 命令的功能，专门为 Windows 用户量身定制。它允许用户轻松管理 SSH 密钥认证，使远程服务器访问更加安全和方便。该应用程序提供了几个显著的功能，包括对自定义 SSH 密钥文件和端口的支持，确保满足不同用户的需求。此外，它会自动在远程服务器上创建必要的 .ssh 目录和 authorized_keys 文件，简化设置。该工具还包括重复密钥检测，以防止冗余，提高整体效率。凭借其跨平台兼容性，Windows 的 SSH-Copy-ID 是任何用户工具包中的宝贵补充。
体验一个专注的控制中心，使用由wuxiran开发的CC-Panes，管理多个AI编码助手。该应用程序将Claude Code和其他AI CLI会话整合到一个可自定义的分屏工作区中，托管终端、启动配置、项目文件和会话历史。它捆绑了一个基于Monaco的编辑器、Git状态和Claude、Gemini及Codex的适配器支持。针对开发人员、AI研究人员和需要在并发代理工作流中保持上下文的高级用户。
