搜索结果：r（646 个）

CodexApp 增强工具，致力于让 Codex 及其他 AI Agent 更加好用、顺手。

基于“复制即翻译”理念的外语阅读与即时翻译辅助工具。

一款用于绕过 GFW 的网络代理工具。

支持接入多款 IM 平台与 LLM 的 AI Agent 助手及扩展开发框架。

程序员鱼皮的 AI 资源大全与零基础教程，涵盖主流大模型玩法、Prompt 技巧及 AI 编程实战。

ChatMCP 是一款基于 Dart 开发的跨平台 AI 客户端，解决了在不同设备上统一调用模型上下文协议（MCP）的需求。核心支持桌面端、移动端与 Web 端，提供 MCP 工具调用、局域网数据同步，以及思考模式、图像生成、Artifacts、LaTeX 和 Mermaid 图表渲染等功能。

开源本地优先的 AI 日记应用，支持图文语音记录与时间线整理，数据保留在设备端。

〔中文简介暂未生成〕 Best free & open source super agent. Always-on, proactive, sessionless. Browser, computer use, files, remote control. Compatible with ChatGPT/codex and claude code. Selfhost your open source alternative to Muse, Dots and Town. Built with Go/Elixir/Lean.

基于 Chrome 扩展的 MCP 服务端，将浏览器功能接入 Claude 等 AI 助手以实现复杂网页自动化。

面向 Obsidian 的 Agent 技能库，让 Agent 支持 Obsidian CLI 以及 Markdown、JSON Canvas 等开放格式。

面向高难度知识学习的 AI Agent 教学框架，结合你的理解与思考过程定制教学，循序渐进搭建知识体系。

适配 Kimi K3、GLM 5.3 等前沿开源/开放模型的代码编写 Agent。

Agda 是一个基于依值类型（Dependent Types）的编程语言兼交互式定理证明器，使用 Haskell 开发。它主要用于类型理论研究和高可靠性程序验证，支持开发者编写严谨的程序代码，并利用其强大的类型系统进行数学定理的形式化交互证明、类型检查与编译。

基于多智能体 LLM 的中文金融交易框架（TradingAgents 中文增强版）。

你的个人情报 Agent，监控多源数据并在发生变化时向你推送提醒。

用于将 GitHub Copilot Agent 集成到应用和服务中的多平台 SDK

从零开始构建大模型的开源教程与项目。

专为上下文工程、多智能体架构及生产系统打造的 Agent Skills 技能精选合集。

用于将米家设备接入 Home Assistant 智能家居系统的官方集成插件。

对标 Hugging Face 的开源大语言模型（LLM）管理平台，提供开源、本地化部署及 SaaS 解决方案。