职业简介
阿联酋阿布扎比 · DevOps Engineer · 开源作者 · 独立研究者
mcp-dbutils 作者——让大模型直接分析数据库的开源工具。 技术博客 jiejue.ai 主理人，周活跃读者 1,960 人。
教育经历
数据科学硕士 (MSc with Distinction, GPA 4.0/4.0)
2023-01-01
2024-12-31
伯明翰大学迪拜分校
远程教育学士
2013-01-01
2015-12-31
北京航空航天大学
大专 · 图形图像制作
2008-01-01
2011-12-31
北京北大方正软件技术学院
兴趣爱好
数据库工具链
AI Agent / MCP 协议
密码学工程 / TRNG
形式化验证 / TLA⁺
开源基础设施
开源项目
开源贡献
精选 Pull Request
- tlaplus/tlaplus — 形式化验证语言 TLA⁺ 的官方仓库。提交并被合并的 PR 引起了社区关注，有开发者专程通过 LinkedIn 邀请合作。
- 持续贡献 — 查看 GitHub Profile 了解完整的 PR 历史和开源活动。
GitHub 动态
视频教程
让 DeepSeek 给你的数据库做分析
在 Windows 上用 MCP 做数据分析
技术博客
我的技术博客 jiejue.ai 专注于 AI Agent、数据库工具链、开发效率等主题。
🤖 AI Agent
大模型应用、Agent 架构、工具链设计
🗄️ 数据库
SQL 优化、数据库工具开发、数据工程
⚡ 效率工具
Alfred Workflow、自动化脚本、开发环境调优
点子与思考
这里放我日常的思考碎片——脱敏的、资源公开的、就像 GitHub PR 一样随意的分享。
🚧 内容持续更新中。更多技术文章请访问 jiejue.ai。