在线数据可视化通常需要手动编写复杂配置，生成图表流程繁琐且不易自动化。

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

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

主要功能：

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

适用范围广泛，支持桌面应用和云端服务，适合数据分析师、产品经理和开发者快速构建智能交互式图表解决方案。

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

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

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

主要功能：

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

NCE（新概念英语全四册点读）是一个开源项目，汇聚了全册课文朗读和单句点读功能，帮你随时随地高效学英语。| #英语

不仅有标准发音的课文朗读，还能单句点读，方便反复练习；覆盖基础到高级四册内容，系统提升听说读写。

核心亮点：

- 全四册《新概念英语》课文在线朗读，标准发音，助你纠正口音；
- 单句点读，精准定位难句，随时复习巩固；
- 涵盖初级到高级的语法和词汇，循序渐进科学学习；
- 适合零基础到高级备考人群，支持在线使用，无需安装；
- MIT开源许可，代码公开透明，欢迎贡献和改进。

在线 TypeScript 项目中，代码质量检查总是绕不开 ESLint 配合 typescript-eslint，但速度慢、类型感知有限，给开发体验带来不少困扰。

tsgolint 是一个高性能的 TypeScript 类型感知 linter，基于 typescript-go 实现，完全集成 Oxlint，速度比 ESLint + typescript-eslint 快 20-40 倍。

它不仅全面支持 TypeScript 类型检查，还能利用多核 CPU 并行处理，性能惊人。规则覆盖丰富，行为与 typescript-eslint 保持一致，轻松无缝替换。

主要功能：

- 原生 TypeScript 类型感知，避免误报漏报；
- 20-40 倍性能提升，适合大规模项目快速 lint；
- 多核并行，充分利用硬件资源；
- 规则丰富且可配置，支持绝大多数 typescript-eslint 规则；
- 与 Oxlint 集成，轻松配置和使用。

适合追求高效、精准代码检查的 TypeScript 项目。

安装示例：

pnpm add -D oxlint-tsgolint﹫latest
pnpm dlx oxlint --type-aware

配置示例：

{
  "$schema": "./node_modules/oxlint/configuration_schema.json",
  "rules": {
    "typescript/no-floating-promises": "error",
    "typescript/no-misused-promises": "error"
  }
}