简介
Basilisk 是一个完整的开源 Python 语言服务器。您依赖现代 Python 扩展提供的一切——自动补全、跳转到定义、悬停信息、重构、诊断、集成调试、性能分析——Basilisk 全部提供，完全开源，默认符合 Python 类型规范。
它也是唯一在官方 python/typing 一致性测试结果中取得满分 100% 的 Python 类型检查器——就发布在 Python typing 仓库自己的排行榜上，领先于 Pyright、mypy、Pyrefly 和 ty。参见我们如何衡量。
它不仅仅是一个类型检查器。它是一个功能完整的 LSP，已为 VS Code、Cursor、Windsurf、Zed 和 Neovim 提供扩展——以及支持语言服务器协议的其他编辑器。JetBrains（IntelliJ / PyCharm）支持已纳入计划。无专有扩展。无 Node.js。单个 Rust 二进制文件，在每款编辑器中提供相同的体验。
Basilisk 解决的问题
Pylance 是 VS Code 中默认的 Python 语言扩展。它也是专有软件——您无法检查、修改或重新发布它。Pyright，底层的开源类型检查器，很强大，但它只是一个类型检查器——没有专有 Pylance 包装，它不提供补全、悬停、跳转到定义或重构。
其他每个 Python 类型检查器（mypy、ty、Pyrefly）都只是检查器——没有补全、没有重构、没有调试器。你得另外搭一个语言服务器，并让两者在团队中保持同步。
Basilisk 采取不同的立场。它的默认就是类型规范——开箱即完全符合 PEP——并将整个工具栈（类型检查、语言功能、调试、性能分析）整合为一个开源工具，在每一款编辑器中运行方式相同，而不仅仅是 VS Code。想要比规范更严格的检查？开启可选的 Basilisk 规则。类型注解是契约，不是文档。
Basilisk 是什么
- 功能完整的语言服务器 (LSP)——自动补全、跳转到定义、悬停、查找引用、重命名、完整的重构套件、代码操作、内联提示
- 覆盖主流编辑器的扩展——VS Code、Cursor、Windsurf、Neovim (0.10+) 和 Zed 现已支持；JetBrains（IntelliJ / PyCharm）已纳入计划
- 注解快速修复——一键代码操作，为未注解的代码插入占位注解（
: Any、-> None），方便您填入真实类型 - 集成调试器——按 F5 调试 Python，支持断点、单步执行、变量检查和监视表达式，全部通过 Basilisk LSP 代理
- 集成性能分析器——采样式 CPU 分析器，具有内联热图注解、火焰图、内存泄漏检测和引用图可视化，全部在您的编辑器内
- 默认符合 PEP 规范的类型检查器——开箱即用核心规范规则集，并提供可选的 Basilisk 规则以实现比规范更严格的检查
- 用于 CI 集成的 CLI 工具——发现错误时以代码 1 退出
- 迁移助手，读取您现有的
pyrightconfig.json或mypy.ini - uv 集成——工作区检测、锁文件解析和包管理命令
- 用 Rust 编写——作为单个二进制文件发布，没有运行时依赖
Basilisk 不是什么
- 不是编译器——您的 Python 代码照常在 CPython 上运行
- 不是运行时类型检查器——分析在开发时静态发生
- 不依赖特定编辑器——同一个服务器驱动 VS Code、Cursor、Windsurf、Zed 和 Neovim
默认符合规范，并可从此配置
Basilisk 的行为完全由配置决定，而默认配置恰好就是核心 PEP 符合性规则集——与官方类型符合性套件评分所用的规则相同。开箱即得一个遵循规范的检查器，无需记住任何标志。
比规范更严格的检查是可选启用的。Basilisk 还附带规范未定义的额外规则——要求每个参数和返回值都有注解、冗余注解警告、缺失 @override 提示、显式 Any 提示。在你于配置中启用之前，它们始终关闭。由于它们会标记规范视为有效的代码，刻意开启它们就是用严格的规范符合换取由团队自行选择的更严格标准——这是逐项目的选择，绝非默认。
配置同样是你为需要的路径放宽规则的地方——例如在某个遗留目录中软化或禁用某条规则：
[tool.basilisk.per-path-overrides."legacy/**"]
disabled = ["returns_compatibility"] # 为遗留代码完全禁用某规则
rules."imports_unresolved" = "warning" # 或仅降低其严重性这让默认保持诚实——纯粹的规范符合——同时让每个团队在他们想要的地方精确地调节严格程度。
项目状态
Basilisk 正在积极开发中——核心检查器、LSP 服务器和编辑器扩展都在工作，且它是官方 python/typing 符合性套件上唯一取得满分的检查器。自动补全、跳转到定义、悬停、诊断、内联提示、重构、调试和性能分析今天就在发布。
| 阶段 | 里程碑 | 状态 |
|---|---|---|
| 1 | 解析器、解析器、类型检查器、CLI | 完成 |
| 2 | LSP 服务器、编辑器扩展（VS Code、Cursor、Zed、Neovim） | 完成 |
| 3 | 扩展规则集，PEP 符合性（固定套件上 100%），渐进式采用 | 进行中 |
| 4 | 所有权与不可变性分析（Mojo 启发） | 计划中 |
| 5 | WASM 插件，Django/Pydantic/SQLAlchemy | 计划中 |
| 6 | 95%+ PEP，SARIF/JUnit，JetBrains 扩展 | 计划中 |
| 7 | 插件市场，社区存根，生态系统 | 计划中 |
架构
Basilisk 是一个 Cargo 工作区，包含 16 个 Rust crate，每个拥有系统的一层：
| 层 | Crate |
|---|---|
| 分析管道 | basilisk-parser → basilisk-resolver → basilisk-checker → basilisk-cli |
| LSP & 基础设施 | basilisk-lsp, basilisk-db, basilisk-config, basilisk-stubs, basilisk-uv, basilisk-common, basilisk-test-utils, basilisk-profiler-helper |
| 编辑器扩展 | VS Code (vscode-extension), Neovim (basilisk.nvim), Zed (basilisk-zed) |
| 未来 | basilisk-mojo（所有权），basilisk-compiler（原生），basilisk-plugin（WASM 插件） |