AI编程 Cursor Docker Dokploy Grafana IDE Loki MinIO Nginx Promtail 开发工具 数学 数学证明 斐波那契数列 线性代数 编程效率 黄金分割