Pyrefly 是一款专为 Python 打造的高性能类型检查器与语言服务器。它不仅能以极快速度完成类型检查，还内置了代码导航、自动补全、语义高亮等 IDE 功能，让开发者在命令行和编辑器中都能获得一致体验。

项目在 Instagram 的 2000 万行代码库中得到大规模验证，同时也被 PyTorch、JAX 等知名开源项目采用。Pyrefly 内置对 Pydantic、Django 等主流框架的支持，开箱即用；迁移工具 pyrefly init、pyrefly suppress、pyrefly infer 则让从 Mypy 或 Pyright 切换变得轻松。

目前支持 VSCode、Neovim、Zed 等编辑器，可通过 pip install pyrefly 快速安装。

主要功能：
- 闪电级类型检查，单秒可处理 185 万行代码；
- 完整语言服务器，支持跳转、补全、悬停提示等；
- 框架感知，Pydantic 与 Django 模型开箱即用；
- 平滑迁移，提供一键初始化、错误抑制与类型推断；
- CLI 与 IDE 结果一致，重新检查通常在 10 毫秒内完成。

.NET 开发者的 AI 编码助手.NET Agent Skills 仓库为 Copilot、Claude Code 等工具提供了一整套官方精选技能插件，涵盖 .NET 数据访问、性能诊断、MSBuild 构建、NuGet 包管理、.NET MAUI、ASP.NET Core 以及 .NET 11 新特性等常见场景，让 AI 代理更懂 .NET，编码效率直接拉满。

主要功能：
- 核心 dotnet 插件，处理日常 .NET 编码任务
- dotnet-data、dotnet-msbuild、dotnet-nuget 等细分领域技能
- 支持 .NET 升级迁移、MAUI 开发、AI 集成等进阶场景
- 兼容 Copilot CLI、Claude Code、Cursor、VS Code 等主流工具
- 遵循 agentskills.io 标准，可快速安装与更新

无论你是日常维护项目还是升级老代码，dotnet/skills 都能让 AI 代理更精准地帮你完成任务。

oh-my-pi 把所有开发所需的能力直接塞进终端：支持 40+ 模型、32 种内置工具、LSP 代码智能、真实调试器、浏览器操作、子代理并行、GitHub 一体化读写……再也不用在 IDE、浏览器、命令行之间疯狂切换。

一次安装即可拥有：哈希锚点精准编辑、结构化 AST 重构、持久化 Python/JS 沙箱、时间旅行规则注入、Hindsight 项目记忆……支持 macOS / Linux / Windows，本地即可运行，适合个人开发者与团队日常编码。

主要功能：
- 哈希锚点编辑：用内容哈希精准定位，首试即中，告别重试循环；
- LSP & 调试器直连：重命名、诊断、断点、堆栈一步到位；
- 子代理并行：任务自动拆分，多 worker 独立工作树，结果结构化返回；
- 浏览器 & Web 搜索：内建 Puppeteer + 14 家搜索后端，PDF/网页直接转 Markdown；
- 冲突与预览：合并冲突一键解决，AST 编辑先预览再落地；
- 跨平台原生：无需 WSL，Windows/macOS/Linux 同一二进制；
- 即插即用配置：自动继承 Cursor、Copilot、Claude 等已有规则，无需迁移。

支持 Web、终端、Node SDK、ACP 协议多入口，通过 bun/npm 一键安装，适合需要「开箱即用、永不落伍」的 AI 编码工作流。