AIO Sandbox 是一个开源的全合一智能体沙箱环境，将浏览器、Shell、文件系统、VSCode 服务器及 MCP 服务整合到同一个 Docker 容器中，提供统一且安全的开发与执行环境。

不仅支持浏览器自动化和远程 VNC 操作，还有完整的 VSCode 编辑器、Jupyter 交互式笔记本和安全的 Shell 终端，极大简化了 AI 代理和开发者的工作流程。

主要功能：

- 多接口统一环境，浏览器、终端、文件共享零延迟；
- 内置 VSCode Server 和 Jupyter，提供完整开发体验；
- MCP 服务器预配置，支持多种自动化与文件操作功能；
- 安全的沙箱执行，支持 Python、Node.js 等多语言代码运行；
- 零配置启动，Docker 一键运行，快速搭建本地或云端环境；
- 支持浏览器截图、文件读写、命令执行等丰富操作。

支持跨平台部署，适合研发、AI 代理测试、自动化脚本运行等多种场景，极大提高开发效率，助力智能体生态建设。
在线开发想要快速搭建全栈应用，往往面临服务端部署复杂、数据库配置繁琐、身份认证难集成等问题。

Fullstack Next.js + Cloudflare 是一个开源模板项目，集成了 Next.js 15、Cloudflare Workers、D1 数据库、R2 存储、Better Auth 认证和 Server Actions，提供了一套生产级全栈开发解决方案。

它不仅支持超低延迟的全球边缘部署，还内置自动 CI/CD 流水线，轻松实现从 MVP 到大规模应用的无缝扩展。

主要特点：

- Next.js 15 + React Server Components，现代前端开发体验；
- Cloudflare Workers 边缘计算，300+ 节点极速响应；
- D1 边缘 SQLite 数据库，轻松管理数据；
- R2 兼容 S3 的对象存储，海量文件云端托管；
- Better Auth 集成 Google OAuth，安全便捷登录；
- 自动化数据库迁移与备份，保障数据安全；
- 内置 AI 推理支持，方便集成智能功能；
- 完善的开发与部署流程，支持本地调试和生产环境；

支持 pnpm 一键安装依赖，即刻启动项目，适合创业团队和开发者极速构建全栈应用。
在线使用 clang-tidy 进行 C++ 静态代码检查时，速度常常让人头疼，尤其是大项目开启多检查项时，运行时间长得让人抓狂。

clangd-tidy 是一个更快的替代方案，基于 clangd 实现，速度提升超10倍，诊断反馈几乎实时，完美兼容现有构建系统和 CI 流程。

它不仅能单独检查头文件，避免重复诊断，还支持代码格式校验，无需额外跑 clang-format。配置灵活，支持 .clangd 文件，诊断信息还带有超链接，使用体验更佳。

缺点是暂时不支持自动修复，但结合编辑器的代码操作，已能满足大多数需求。

主要功能：

- 极大提升 clang-tidy 静态分析速度，节省开发和 CI 时间；
- 支持单独检查头文件，避免重复诊断信息；
- 集成代码格式检查，减少工具链复杂度；
- 灵活配置，支持多种参数和 .clangd 配置文件；
- 诊断信息支持超链接，方便快速定位问题；
- 兼容现有构建系统，零成本替换 clang-tidy。

适合 C++ 开发者和团队，尤其是需要在大规模代码库中保持高效代码质量检查的场景。
安装简单：`pip install clangd-tidy`即可开始使用。
在线调用工具多样，精度差异大，给使用体验带来影响，尤其是专注于agentic loop的Kimi K2模型，工具调用的准确性尤为关键。

K2 Vendor Verifier 是一个开源项目，专门用来评测和监控各家K2 API供应商的工具调用精度，帮助用户识别并选择高性能、稳定的服务。

除了提供详细的调用测试数据和对比结果，还支持用户自行运行评测脚本，方便定期检测各种供应商的表现。

主要功能：

- 覆盖多家K2 API供应商，实时评测工具调用的准确率与稳定性；
- 提供详尽的测试指标分析，包括调用成功率、验证错误数等；
- 支持批量并发测试，自动生成测试报告和统计摘要；
- 开源代码，用户可自定义测试用例及参数，灵活适配不同需求；
- 促进K2模型生态的健康发展，保障工具调用的高质量体验。

适合开发者、产品经理和研究人员使用，确保使用的K2 API具备优异的工具调用能力，提升整体应用效果。
MathFlow 是一个 Python 数学计算库，像 requests 一样让复杂的数学运算变得简单易用。

它融合了 SymPy 的符号数学和 NumPy/SciPy 的数值计算，提供统一且强大的接口，适合数学研究、工程计算和教学使用。

主要功能：

- 符号与数值计算无缝衔接，表达式操作自然直观；
- 支持自动类型转换，表达式默认不可变，也支持可变模式；
- 内置高效的数值求根、微积分、优化等算法；
- 灵活的打印系统，支持 LaTeX、代码生成和美观输出；
- Qt 风格信号系统，适合响应式编程和复杂交互；
- 体积轻巧，兼容 SymPy，易于集成和扩展。

用法示例：

from mathflow import Expression

f = Expression("2x^2 + 3x + 1/2")
g = Expression("sin(x) + cos(x)")

h = f + g
print(h.diff())         # 求导
print(f(2.5))           # 数值计算
roots = f.n.all_roots() # 数值求根


适合数学爱好者、科研人员和开发者，轻松搞定符号与数值混合计算，提升数学编程效率。
Senko 是一个超高速且高精度的开源说话人分离（speaker diarization）项目，采用最新算法和多核CPU/GPU加速，1小时音频仅需5秒处理时间（RTX 4090），速度远超Pyannote等主流方案。

它支持多平台（Linux、macOS、WSL），轻松集成到你的音频分析和识别流程中，适合科研和工程应用。

主要功能：

- 超高速说话人分离，RTX 4090上1小时音频5秒完成处理；
- 高精度分离效果，VoxConverse、AISHELL-4等数据集表现优异；
- 支持GPU加速与多核CPU并行，兼顾性能和效率；
- 先进的VAD（语音活动检测）和特征提取模块，提升整体准确率；
- 简单Python接口，方便调用与结果保存（JSON、RTTM格式）；
- 兼容多种硬件环境，支持NVIDIA CUDA和macOS CPU执行。
在线数据可视化通常需要手动编写复杂配置，生成图表流程繁琐且不易自动化。

MCP ECharts 是一个基于 AI MCP 技术的开源项目，能动态生成 Apache ECharts 图表，极大简化图表制作和数据分析的过程。

它不仅支持 ECharts 的全部特性和语法，还能导出 PNG、SVG 以及图表配置，支持本地全流程生成，安全无依赖，且集成了 MinIO 云存储，方便高效地管理和分享图表。

主要功能：

- 动态生成包含数据、样式和主题的 ECharts 图表；
- 导出多种格式（png、svg、option）便于展示和二次利用；
- 支持 MinIO 及多种对象存储，实现图表图片云端管理和链接分享；
- 轻量无依赖，完全本地生成，保障数据安全；
- 支持多种传输协议（stdio、SSE、streamable），方便与多平台和工具集成；
- 提供丰富的 CLI 配置选项，灵活定制服务器运行方式。

适用范围广泛，支持桌面应用和云端服务，适合数据分析师、产品经理和开发者快速构建智能交互式图表解决方案。
Automat：一个开源的半自动化交互工具，致力于实现各种游戏和软件的自动操作，是迈向更通用计算机交互环境的第一步。| #工具

目前主要支持键盘宏录制与回放，虽然还不够稳定，但如果你的设备兼容，能帮你自动执行一些基础操作，提升效率。未来计划将带来更激进的功能改进，彻底革新界面和操作体验。

主要功能：

- 键盘宏录制与回放，自动执行重复操作；
- 简洁直观的视觉界面，方便操作与编辑；
- 开源免费，支持跨平台运行；
- 适合游戏玩家、自动化爱好者和开发者探索。

支持 Windows 和 Linux，安装简单。
工具
在线训练AI模型时，往往需要不同的编译器和硬件深度协作，流程复杂且效率不高。

TT-XLA 是 Tenstorrent 推出的开源 AI 编译器项目，基于 PJRT 接口无缝连接 JAX 框架和 Tenstorrent 的高性能硬件。它支持通过 jit 编译直接导入 JAX 模型，生成 StableHLO（SHLO）图，再交给 tt-mlir 编译器进行优化执行。

核心亮点：

- 基于 PJRT，兼容 JAX 及未来更多框架；
- 支持 StableHLO（SHLO）图形转换，提升模型编译效率；
- 与 Tenstorrent 硬件紧密集成，发挥加速器最大性能；
- 开源透明，适合研究和工业级应用。

TT-XLA主要面向 AI 编译、硬件加速和框架集成，助力深度学习推理和训练的高效实现，是 Tenstorrent AI 生态的重要组成部分，适合开发者和研究者快速部署高效 AI 模型。
Basalt 是一款基于终端的 TUI（文本用户界面）应用，专为 Obsidian 笔记和库管理设计，让你直接在终端里轻松浏览、编辑和组织笔记。| #Obsidian

它跨平台支持 Windows、macOS 和 Linux，提供可视化的 Markdown 渲染和所见即所得的编辑体验，不是要取代 Obsidian 官方客户端，而是做一个高效、极简的终端笔记管理助手。

主要功能：

- 终端内快速访问和管理 Obsidian 笔记库；
- 支持 Markdown 格式的可视化渲染，提升阅读体验；
- 类似 vim 的编辑模式，兼顾熟悉感和高效操作；
- 支持查找、创建、删除笔记，轻松配合 Unix 命令行工具；
- 完全开源，配置灵活，支持自定义快捷键。

安装简单，通过 Rust 的 cargo 命令一键安装：

cargo install basalt-tui
Obsidian
在线 Rust 程序验证经常涉及复杂的形式化方法和多种后端工具，单独使用难度较大，效率受限。

Aeneas 是一个开源的 Rust 程序验证工具链，基于将 Rust MIR 转换为纯 Lambda 演算的思想，支持 F*、Coq、HOL4 和 Lean 等多个形式化验证后端，提供了系统化的程序验证方案。

它不仅能与 Charon 项目无缝协作，自动生成中间表示，还支持符号执行、借用检查等高级验证功能，适合对 Rust 代码进行高精度形式化验证的研究者和开发者。

主要功能：

- 将 Rust MIR 自动转换为纯 Lambda 演算表达式；
- 支持多种形式化验证后端：F*、Coq、HOL4、Lean；
- 与 Charon 集成，自动生成中间代码并完成验证流程；
- 提供符号执行和借用检查的形式化证明；
- 支持 OCaml 构建环境，提供详细文档和测试用例；
- 适配 Nix 环境，方便快速启动和验证。
Before
After
Back to Top