本地优先、可验证的计算机专业学习 IDE
从 Java、Python、C/C++、SQL 与系统模拟实践，到课程知识、确定性评价、学习诊断和云端教学协作。
SQLTeacher 面向计算机专业课程教学与自主实践。它把本地代码编辑与工具链运行、SQL 实验、确定性评价、AI 辅助、课程知识和学习反馈放在同一个桌面工作区中；网络或 AI 服务不可用时，核心本地学习能力仍可继续使用。
| 能力 | 说明 |
|---|---|
| 💻 本地学习 IDE | Java、Python、C/C++ 编辑、标准输入、控制台、本机联网运行、终端与可选安全评价 |
| 🧭 离线专业模拟 | 指令周期、系统调度、网络、软件工程、编译、离散数学、AI 与安全基础实验 |
| 🧪 安全 SQL 实验 | SQLite 演示库、结构浏览、结果限制、多语句拦截和高风险操作确认 |
| 🤖 受控 AI 助手 | 支持本地 Ollama 和用户配置的网络 AI；模型只生成草稿，不能直接执行 SQL |
| 🎯 可验证学习闭环 | 练习、任务、反馈、知识点诊断和学习计划均保留可解释的确定性依据 |
| 📚 课程知识中心 | 文档导入、全文与混合检索、来源引用、版本修订和发布边界 |
| 👩🏫 教学协作 | 班级、任务、提交、教师反馈、学情看板、干预队列和脱敏 CSV 导出 |
| 🛡️ 通用软件能力 | 可信更新、问题反馈、诊断包、备份恢复、代理、无障碍和隐私说明 |
| 🌐 多语言与账号治理 | 完整英文界面、命令面板、可信密码重置、活跃会话、数据导出与账号注销 |
- 唯一桌面端：Tauri 2 + React 19 + TypeScript，不再包含 JavaFX、FXML 或第二套桌面启动器。
- 本地核心：Java 25 sidecar 保留 Spring、SQLite/JDBC、确定性学习、SQL 安全、Runner 和云端契约。
- 七个工作区：今天、课程与知识、练习与实验、数据/SQL/AI、教学空间、班级与云端、设置与环境。
- 受限 IPC：Rust 只管理进程与窄权限，版本化白名单合同不暴露 Spring Bean、JDBC 连接或任意文件访问。
- 单一发布链：NSIS 安装包、便携 ZIP、内置 Java 25 runtime、Java/UI 双 SBOM 和签名更新清单。
- 安静启动：Tauri 使用 Windows GUI 子系统，Java sidecar 以无窗口标志启动，不显示额外控制台。
flowchart LR
A["自然语言需求"] --> B["AI 生成 SQL 草稿"]
B --> C["Java 侧解析与风险检测"]
C --> D["用户预览与必要确认"]
D --> E["统一 SQL 执行适配器"]
E --> F["结果与审计事件"]
- AI 永远不能直接执行 SQL，也不能直接访问 JDBC
Connection。 - AI 输出一律视为不可信输入，必须经过 Java 侧解析与风险分析。
- 多语句默认禁止；
DROP DATABASE、GRANT、REVOKE等语句默认拦截。 - 更新只信任内置公钥和固定 HTTPS 来源；下载完成后再次校验大小与 SHA-256。
- 诊断默认不包含数据库、SQL、Prompt、密码、Token、AI Key 或用户附件。
- 云端与 AI 均为增强能力，失败时不阻断本地 SQL 学习流程。
前往 GitHub Releases 下载：
SQLTeacher-3.0.0.exe：3.0 正式版 Windows 安装器；SQLTeacher-3.0.0-windows-x64.zip：3.0 正式版便携包；SHA256SUMS.txt：发布文件完整性校验值。
正式包自带 Java 运行时，无需另装 JDK。用户数据默认保存在 %LOCALAPPDATA%\SQLTeacher，升级应用不会覆盖该目录。
源码构建要求 JDK 25、Maven 3.9+、Node.js 24 和 Rust stable。发行版可在“设置 → 开发环境”中通过确认式自动安装 Temurin JDK、Python、Ollama、MSVC Build Tools 和 WSL Ubuntu。
git clone https://github.com/danlingdan/Teacher.git
cd Teacher
mvn test
.\packaging\build-v3-sidecar.ps1 -JavaHome $env:JAVA_HOME
Set-Location ui-web
npm ci
npm run tauri dev无图形环境可运行命令行验证：
mvn -q compile exec:java "-Dexec.mainClass=com.sqlteacher.StageOneVerificationApp"构建 Windows 安装包：
.\packaging\package-v3.ps1 -JavaHome $env:JAVA_HOMEJava 25 sidecar + Tauri 2 / React 19 + Spring Context
SQLite / MySQL / MariaDB
Jackson + SLF4J + Logback
Lucene + SQLite FTS5
Ollama / OpenAI-compatible providers
Maven + npm/Vite + Cargo + NSIS
项目保持清晰的依赖方向：
ui-web -> desktop.bridge -> application -> domain
infrastructure -> application / domain
主要目录：
src/main/java/com/sqlteacher/application 应用服务与稳定契约
src/main/java/com/sqlteacher/domain 领域模型、异常与规则
src/main/java/com/sqlteacher/infrastructure 数据库、AI、云端与持久化适配器
src/main/java/com/sqlteacher/desktop/bridge Java sidecar 与版本化 IPC 边界
ui-web Tauri/React 桌面端与前端测试
src/main/resources Java 核心配置与法律声明
src/test 单元、集成与回归测试
packaging Windows 打包脚本
docs 指南、计划、验收与发布说明
SQLTeacher 项目自身采用 Apache License 2.0。这只适用于 SQLTeacher 自有代码与文档；第三方软件仍分别受其原始许可证约束。
| 软件 | 当前版本 | 用途 | 许可证 |
|---|---|---|---|
| Tauri | 2.x | Windows 桌面容器与受限进程桥接 | Apache-2.0 / MIT |
| React | 19.1.0 | 桌面工作区界面 | MIT |
| Xerial SQLite JDBC | 3.50.3.0 | 本地 SQLite 访问 | Apache-2.0；其随附原生代码另含 BSD-2-Clause / SQLite 相关许可 |
| MySQL Connector/J | 9.4.0 | MySQL 连接 | GPL-2.0 with Universal FOSS Exception 1.0 |
| MariaDB Connector/J | 3.5.9 | MariaDB 连接 | LGPL-2.1-or-later |
| DuckDB JDBC | 1.5.4.0 | 内嵌分析数据库 | MIT |
| H2 Database | 2.4.240 | 内嵌 Java 数据库 | MPL-2.0 OR EPL-1.0 |
| PostgreSQL JDBC | 42.7.11 | PostgreSQL/GaussDB 连接 | BSD-2-Clause |
| Microsoft JDBC Driver | 13.4.0 | SQL Server 连接 | MIT |
| Jackson | 2.22.1 | JSON 解析 | Apache-2.0 |
| Spring Framework | 6.2.19 | 依赖注入与应用装配 | Apache-2.0 |
| SLF4J | 2.0.16 | 日志门面 | MIT |
| Logback | 1.5.38 | 日志实现 | EPL-2.0 OR LGPL-2.1-only |
| Apache Lucene | 10.4.0 | 本地全文与向量检索 | Apache-2.0 |
| jsoup | 1.22.2 | 安全网页内容解析 | MIT |
| Apache PDFBox | 3.0.7 | PDF 文本导入 | Apache-2.0 |
构建与测试还使用 Apache Maven（Apache-2.0）、JUnit 5（EPL-2.0）、CycloneDX Maven Plugin（Apache-2.0）和 WiX Toolset（Microsoft Reciprocal License）。可选的外部服务或独立程序（例如 Ollama、数据库服务器、网络 AI 模型）不会作为 SQLTeacher 源码的一部分重新授权，其软件、模型和内容条款由各自提供方决定。
发行包中的完整组件版本与许可证以以下材料为准：
- 第三方许可证清单
- 发布包随附的
sqlteacher-sbom.json（CycloneDX SBOM） - 各上游项目的许可证原文与随附通知
如发现遗漏或许可证标注有误，请通过 GitHub Issues 报告。项目名称、商标和第三方内容仍归各自权利人所有。
欢迎提交 Issue 和改进建议。贡献代码前请先阅读 AGENTS.md 中的架构、安全、测试与隐私约束。提交到本项目的贡献默认按 Apache License 2.0 第 5 条授权，除非贡献者另有明确声明。
Copyright remains with the respective SQLTeacher contributors.
Licensed under the Apache License, Version 2.0. The software is provided on an “AS IS” basis, without warranties or conditions of any kind.