Verne in GitHub

LingQ:通过可理解输入学习语言

之前有写过一篇文章,大致地总结了一下自己关于Duolingo的一些想法,前段时间在打卡了 800 天之后,把 Duolingo 中的英语韩语和日语全部通关到了最后只能每天重复,所以发了一个推特帖子想要寻找一下比 Duolingo 更深度一些,每天可以坚持记忆一些语言支持的「工具」。我个人非常不喜欢直接拿一个背单词应用就开始背诵的方式,虽然我承认只要长期坚持还是会有一定的效果,但是一方面是效率很低,背过的单词不容易被想起来,另外一方面也是单纯的背单词非常的无聊。我也尝试过在浏览网页的时候将生词存放到 Anki 中,然后定期回顾,但是单词脱离了上下文,总是感 Read more ...


Amazon 推出 Kiro AI IDE 新一代 AI 辅助集成开发环境

在 AI 辅助代码生成领域,从来不缺竞争者,现在 Amazon 正式加入了战争推出 Kiro AI IDE,Amazon 在之前就推出过智能助手 Amazon Q,以及代码补全插件 CodeWhisperer,但是在激烈的代码生成领域依然没有竞争过 Cursor,Windsurf,Claude Code 等一众的领跑者,甚至声量都没超过 Gemini CLI。现在推出的 Kiro 是一个集成的开发环境,至此互联网巨头中除了苹果没有推出 AI 辅助编码的工具之外所有的公司都已经有了对应的产品。 Kiro Kiro 的核心在于 Spec Driven D Read more ...

2025-07-15 kiro , amazon , aws , amazon-q , ai-agent , ide , jetbrain , gemini-cli

SuperClaude 让 Claude Code 更专业更顺手

SuperClaude 是一个 开源的 Claude Code 增强工具,提供了额外的命令,人物角色(Personas),以及更好的 MCP 服务集成。 本文将系统性介绍 SuperClaude 是什么,如何安装和使用,以及如何使用增强的命令,如果还没有安装 Claude Code,可以先阅读之前的文章。 SuperClaude 诞生的背景 尽管 Claude Code 拥有 200K 的上下文和自主执行能力,但是在大型项目中仍然存在上下文漂移,指令重复,输出冗长以及巨大的成本(Token)消耗等问题。 SuperClaude 并不是二次开发 C Read more ...


Claude Code 添加 Context7 MCP 支持

Context7 MCP(Model Context Protocol)是一个开源的 MCP 服务器,可以为 AI 编程助手提供最新的官方文档和代码示例。通过配置 Context7 MCP,您可以在 Claude Code 中获得实时的、版本特定的技术文档,从而避免 AI 产生”幻觉”或使用过时的 API。 命令行配置 使用命令行配置 claude mcp add context7 -- npx -y @upstash/context7-mcp@latest 指定作用域 # 全局配置(在所有项目中可用) claude mcp add -s u Read more ...


Gemini Balance:搭建 Gemini 转发

Google 提供了非常慷慨的 Gemini 模型调用额度,但是如果日常高频使用的话,还是可能超出使用限制,我的主力帐号,每天几十 K Token 的使用也差不多有 3 美元左右的费用了,所以我想着能不能直接利用多个 Google 帐号的 AI Key 轮询使用免费的额度,果不其然都已经有人实现了并开源了,Gemini Balance 就是这样一个可以使用多个 API 密钥的项目。 什么是 Gemini Balance Gemini Balance 是一个基于 Python FastAPI 构建的开源应用,专门为 Google Gemini API Read more ...

2025-07-03 gemini , gemini-proxy , hajimi , llm , google , ai-studio

Ktor: Kotlin 下的异步网络编程框架

在之前学习 Exposed ORM 的时候,偶然得知 Ktor 这样一个项目,简单了解了一下之后发现这是一个 Kotlin 编写的异步网络编程框架,Ktor 既可以作为服务端框架,实现 HTTP 服务,也可以作为 HTTP 客户端,在 Android 等平台上使用。 Ktor 是什么 Ktor 完全基于 Kotlin 和 Coroutines 构建,可以使用简洁的跨平台语言,直观的命令式,来实现异步编程。 轻量,Ktor 允许开发者仅使用所需的组件 异步和非阻塞,框架底层使用异步 IO,避免线程阻塞,能够高效处理大量并发请求 Kotl Read more ...

2025-07-02 ktor , jetbrains , kotlin , http

Claude Code 编程助手使用总结

在我之前的文章中分别介绍过 AI 支持的集成开发环境 Cursor,Windsurf,Void 等等,还介绍过不少相关的编程辅助工具比如说最早的 GitHub Copilot,Augment Code 等等,但是今天要介绍的这一款 Claude Code,从 2025 年 2 月诞生之日,就被誉为 2025 年最强的编程助手。 Claude Code 是什么 Claude Code 是 Anthropic 开发的一款革命性的终端 AI 编程助手。Claude Code 是 Anthropic 将其最先进的模型集成到了该工具中,让用户可以直接以自然语言 Read more ...


Readdy:AI 驱动的交互设计工具

Readdy 是一款可以自然语言交互的 AI 建站工具,通过对话时设计,可以实现零代码快速生成网站,还可以直接发布到 Figma,或者是一键导出代码进行进一步的编辑。 在我之前的文章和视频中,我也介绍过如何使用 Claude,Vercel 的 [[v0.dev]],还有 Google 的 [[Stitch]],[[lovable]],[[bolt new]],[[Replit]] 等等非常多通过自然语言来生成代码的工具。 Readdy 可以让无设计经验的个人和小团队也可以非常快速地完成创意到上线的完成流程。Readdy 面向创业者,自由职业等需要快 Read more ...

2025-06-30 readdy , ai , openai , v0 , replit , stitch , lovable , bolt-new

利用 ClickUp 来管理你的任务

我在之前的文章中介绍过 Trello 这样一款看板工具,还介绍过日本很多公司在使用的 Backlog 项目管理工具,最近和朋友一起合作想要做一款英语学习外教平台,朋友推荐了一款叫做 ClickUp 的团队协作和项目管理工具,初步用起来非常的灵活自由,并且免费的套餐给的使用权限还非常大,基本上什么功能都能使用,还可以无限制添加成员和创建任务,相较于其他一些项目管理的应用非常慷慨。 ClickUp 是什么? ClickUp 是一个综合性的项目管理平台,公司成立于 2017 年,公司秉持的理念是使用一个应用代替所有的办公协作应用,为团队协作提供了全面的解决 Read more ...


Google Gemini CLI 使用初体验:命令行上的 AI 工作流引擎

在 AI 浪潮席卷行业的背景下,Google 终于推出了一款备受期待的命令行工具——Gemini CLI。尽管在代码生成和补全领域,Google 此前推出的 Gemini Code Assist 等产品在与 GitHub Copilot、Cursor、Claude 等竞品的较量中未能激起太大水花,但 Gemini CLI 的发布,标志着 Google 将竞争的焦点扩展到了一个新的维度。 Gemini CLI 并未将自己仅仅定位为一个代码助手。根据官方介绍,它是一个 AI 工作流(AI workflow)命令行工具,旨在连接不同的本地工具、理解代码库 Read more ...


最近文章

  • Nowledge Mem 使用半年体验:让所有 AI Agent 共享同一份记忆 今年 2 月份我把 [[Nowledge Mem]] 装到 MacBook 上,想解决的是一个很常见的问题:我希望在 [[Perplexity]] 网页上查过的资料,直接在 Claude Code 中可以记住。但没想到大半年过去,它已经变成了我每天都在用的软件,而且是那种「不在后台跑着就会觉得别扭」的存在。我在 Claude Code、[[Codex]]、[[OpenClaw]] 里开的每一个会话,开头都会先从它这里拿一份简报;网页上和 AI 聊过的东西会自动同步进去;我做过的决定、踩过的坑、服务器的配置,都沉淀成一条条可以被任何 Agent 检索的记忆。说它是我所有 Agent 的记忆和大脑,一点都不夸张。
  • Aside AI 浏览器介绍:既能自己干活,也能接入 Agent 前两天整理了一篇 AI 浏览器自动化方案怎么选,把 Playwright、MCP、Agent 专用浏览器、WebMCP 这些路线梳理了一遍。在那篇文章里我提到,「内置 Agent 的 AI 浏览器」这一类里我最看好的是 Aside,原因是它的密码管理器设计得很用心,但篇幅有限没有展开。今天就单独写一篇,聊聊这个浏览器到底能做什么、和 [[Comet]]、[[Dia Browser]] 有什么不一样,以及我现在是怎么用它的。如果你看完想试试,可以用我的邀请链接 https://aside.com/r/UpYKnv9ziq 注册,注册后会额外获得 100 Credits。
  • AI 浏览器自动化方案怎么选:从 Playwright、MCP 到 Agent 浏览器和 WebMCP 的全景梳理 最近我一直在研究「让 AI 用浏览器」这件事。起因是看到 Nowledge 写了一个 browse-now Skill,可以直接让 Claude 控制浏览器,紧接着又偶然发现了 [[Ego Lite]] 这款专门为 Agent 设计的浏览器。顺着这条线,我把 Aside、BrowserOS、Deta Surf 这几款 AI 浏览器挨个调研了一遍,越看越发现它们的侧重点和实现方式差别很大:有人在做测试框架,有人在做浏览器插件,有人从 Chromium 内核开始为 Agent 改造浏览器,还有人在推动新的 Web 标准。它们看起来都在「让 AI 操作网页」,解决的却根本不是同一个问题。
  • 入手 GL.iNet Comet Pro(RM10):支持 Wi-Fi 6 的远程 IP KVM 家里的 [[Homelab]] 一直是一台 4 盘位的小主机跑 [[Proxmox VE]],上面跑着 Ubuntu 虚拟机、一堆 Docker 服务和下载机。平时远程管理全靠 SSH 加 [[Tailscale]],只要系统还活着基本没什么问题。真正让我不放心的是系统起不来的时候:升级内核后卡在启动界面、改网卡配置时手滑导致网络没起来、BIOS 被重置后不再从正确的硬盘启动,这时候 SSH 连不上,Tailscale 也不会在线,人不在家就只能干等。最近正好赶上一波促销,我入手了 [[GL.iNet]] 的 Comet Pro(型号 GL-RM10)远程 [[IP KVM]],叠加各种限时优惠之后实际支付 590.76 元,算是把 Homelab 远程管理的最后一块短板补上了。
  • 用 PowerContext 给多个 Coding Agent 做任务交接 现在我写代码基本是 [[Codex]] 和 [[Claude Code]] 轮着用。有时候是 Codex 的额度先用完了,有时候是某一步我觉得 Claude Code 更合适,于是一个任务经常要在两个 Agent 之间换手。真正麻烦的不是换工具本身,而是换手的那一刻:新会话对前面发生的事一无所知。之前选了哪个库、哪个旧接口不能动、改了哪些文件、测试跑没跑过,这些信息全都留在上一段对话里。我只能手动复述一遍,或者把一大段聊天记录贴回去,前者容易漏掉关键约束,后者浪费 Token,还会让模型在几千行历史里抓不住重点。说到底,我缺的不是一个更大的上下文窗口,而是一份能在 Agent 之间传递、而且接手方可以核对的「当前状态」。在写这篇文章的时候还出现了另外一个思路就是利用 [[magpie]] 将模型路由给充足额度的账号,这个之后再写文章说。