计算机

如何使用 Spec Kit 工具进行规范驱动开发?

由上文「Markdown 将成为 AI 时代的通用编程语言?」可以知道,规范驱动开发可能成为 AI 时代的编程新范式。

在传统软件开发流程中,规范只是编码前的临时脚手架,开发者一旦进入编码阶段,便将规范束之高阁。而进入 AI 时代,「规范驱动开发」想彻底改变这一现状,即让规范贯穿整个软件开发生命周期、让规范变得可执行、让规范成为代码。

阅读更多

Markdown 将成为 AI 时代的通用编程语言?

在 AI 编码助手日渐盛行的当下,一个值得关注的技术趋势正悄然浮现:编程语言的抽象层级正不断上移。这意味着,如今我们习以为常的 Java、TypeScript、Python、Swift 等具体编程语言,或将随着 AI 时代的到来,被一种更接近人类自然语言的通用编程范式所取代。

阅读更多

使用 FastMCP 编写一个 MySQL MCP Server

在日常工作中,当我们针对某个业务场景不知 SQL 如何编写时,或在应用程序中找到一些慢 SQL 需要优化而不知所措时,通常会询问 AI 助手。但我们若不提供任何上下文,仅仅是用一句话将业务场景描述给 AI 助手让其实现,或贴一段很长的 SQL 让 AI 助手来优化,其给出的指导意见的质量通常会大打折扣。

阅读更多

以自然语言的方式使用 Playwright MCP 进行浏览器自动化操作

由上文「MCP 是什么?它是如何工作的?」可以知道,MCP 是大语言模型连接外部工具或服务的桥梁。 Playwright 是微软开源的一款类似 Selenium 的浏览器自动化测试框架。相比 Selenium,Playwright 更加轻量、功能更丰富,且执行速度更快。大语言模型爆发之前,虽然 Playwright 也能胜任一些自动化任务,但主要还是用于自动化测试。

阅读更多

MCP 是什么?它是如何工作的?

自 2022 年底 ChatGPT 横空出世以来,目前业界已涌现出多个优秀的大语言模型(Large Language Models,LLM),人们的日常生活和工作正在被大语言模型加速改变着。

大语言模型虽然很强大,但也有一些局限性,如:其知识被固定在训练结束之时,无法跟着当下动态的世界进行「自动更新」。所以,如果仅使用大语言模型训练好的数据解决问题,而不借助任何方式获取新的数据的话,会大大限制大语言模型的能力上限。

阅读更多