Verne in GitHub

Automa Chrome 下的自动化工具

我之前介绍过不少的自动化工具,比如 macOS 上的自动化工具 Hammerspoon,开源的自动化工作流 n8n,还有非常多的编程自动化的工具,当然编程天然的适合自动化,运维自动化 Puppet,应用自动化发布 Fastlane,还有很多 CI/CD 的工具,但是今天想要介绍一款使用简单,安装方便的基于浏览器的自动化应用 Automa。 Automa 是一款免费的浏览器扩展程序,专为简化和自动化网页操作而设计。它支持在 Chrome 和 Firefox 浏览器中运行,通过直观的拖放式界面,用户可以创建自定义工作流来完成各种任务,例如表单自动填写、数据 Read more ...


无代码数据库 NocoDB 使用体验

DocoDB 是一款开源的无代码数据库平台,可以进行数据管理和应用开发。 它的灵感来自 [[Airtable]],支持与 Airtable 类似的电子表格式交互、关系型数据库 Schema 设计、API 自动生成等特性。 Github:https://github.com/nocodb/nocodb NocoDB 是一款开源的无代码数据库平台,可以进行数据管理和应用开发。它支持多种数据源,包括 MySQL、PostgreSQL、SQL Server、SQLite 等主流关系型数据库,也能连接 Airtable、Google 表格等 SaaS 服务。 Read more ...


Anthropic 开源 Model Context Protocol(MCP) 创建了 AI 和数据源的双向连接

Anthropic 开源了 Model Context Protocol 简称 MCP 协议,是一种新的标准,用于将人工智能助手连接到数据所在的系统,包括内容存储,业务工具和开发环境。如果一句话来简单的介绍,就是 Anthropic 通过 MCP 协议将人工智能拓展到任意支持 MCP 协议的地方,而不仅仅局限于网络聊天对话,举一个例子就是如果通过 MCP 连接了本地文件夹,那么就可以让 Anthropic 操作本地文件夹,比如让 AI 在本地生成一篇文章,创建一个项目模板;或者通过 MCP 连接 IDE,那么就可以让 AI 直接读取并修改本地代码。 A Read more ...


Google 的 AI 云虚拟开发环境 Project IDX

Project IDX 是一项实验性质的项目,目的是为了将应用程序的开发搬到云端,通过浏览器在 Web 页面完成所有的开发,编译,部署。 Project IDX 可以让用户打开网页就进入开发流程,通过 Google 提供的云虚拟环境,直接在线开发应用程序。 Google 在 2023 年就公布了 Project IDX 项目,但是最近将 Gemini AI 的能力融入到了这一款云代码编辑器中。IDX 官方人员提到,当前开发人员面临的一个很重要的问题就是管理和配置项目运行环境比较复杂和困难,尤其是需要在多台设备上同时开发项目时,所以 IDX 的出现也是 Read more ...


SnippetsLab 私人的代码片段库

在没有 GitHub Copilot 这一类 AI 自动补全工具之前,我一直都幻想有一个代码片段管理工具,可以让我保存经常需要反复敲的代码片段,比如读写文件,读取 CSV 等等,直到前几天 SnippetsLab 宣布免费了,从 2024 年 11 月 27 日起,SnippetsLab 已经完全免费,移除了任何付费相关的内容。 SnippetsLab 是一款 macOS 上强大的代码片段管理工具,可以帮助开发者轻松组织和查找他们的代码片段。它支持多种语言和格式,并提供了丰富的功能如标签分类、搜索、同步等,让开发者能够更高效地利用他们的代码资源。 S Read more ...


Windsurf 又一款 AI 智能编辑器

这两年随着 AI 模型在代码编程领域越来越强大,尤其是 Claude 的发布,在此基础上诞生了很多相关的 AI 辅助编程工具,比如 [[Cursor]],[[GitHub Copilot]] 等等,今天我想要介绍另外一款 AI 驱动的集成开发环境 Windsurf。 Windsurf 是 Codeium 公司发布的一款 AI 辅助编程工具。 功能 Windsurf 不仅提供了代码自动补全,还提供了包括独立 Agents 上下文理解等等功能: 不仅包括了代码生成和补全,还包含了 Agents,可以作为一个独立的个体来协助完成编码 Read more ...


自签名证书生成及使用

之前公司使用的证书是 [[Digicert]] 发行的,但是在开发环境和测试环境不想使用 Digicert 发行的证书,证书发行太贵,所以想着自行签名一个证书,本地测试使用。所以本文主要是介绍 生成根证书生成 中间证书(Intermediate CA)生成 自签名证书 以及生成 PFX 格式 生成根 CA 证书 可以使用 OpenSSL 命令来生成根 CA 私钥和签名证书 生成根私钥文件 openssl genrsa -out rootCA.key 2048 生成根证书 openssl req -x509 -new - Read more ...

2024-11-21 certificate , digicert , openssl , ca , root-ca , pfx , pem

macOS 上强大的窗口管理工具 1Piece

之前的视频和文章大部分都是介绍 AI 相关的工具,今天来介绍一点不一样的效率工具,就是一款 macOS 上的窗口管理工具。 但说实话 macOS 上的窗口管理工具其实以及非常多了,比如我之前一直使用的收费的 [[Contexts]], [[Lasso]],还有开源的仿 Windows 切换的 [[AltTab]],纯 Swift 实现的 [[Loop]],还有一些分屏的应用,比如 Moom, Rectangle等等, 还有一些比如 Swish 是通过触摸板来控制窗口的分屏,全屏,关闭等操作 或者有些人还会使用 Raycast 等一些工具来解 Read more ...


Flowith 基于白板的 AI 工具

Flowith 是一款基于二维画布、节点式、支持动态 UI 的 AI 内容生成工具。Flowith Oracle 想要打造一款 AI agent,自动帮助完成多个步骤,复杂的任务需求,可以自主规划、拆分和完成任务。年初的时候知道了这一款工具,但是一直没有用起来,现在就来再好好体验一番。 作者谈为什么要做 Flowith,解决了什么问题? 目前市场上的 AI 产品大多都是聊天式 UI,是一个纯线性结构,但是在生成内容时,通常需要反复修改,对比和测试,因此需要一个非线性的对话和生成方式。 而目前节点式 AI 产品均是针对搭建工作流打造,比如 [[Dif Read more ...

2024-11-16 ai , canvas , ai-tool , dify , coze , gemini , chatgpt , claude

个人订阅管理工具 Wallos

Wallos 是一个强大的,管理订阅的开源工具,互联网应用发展到现在越来越多的应用从买断制转变成了订阅制,虽然这些服务给我们带来了便利,但是如何有效地管理和追踪自己订阅的内容就变成了一件相对麻烦的事情,因为有一些订阅可能是信用卡直接扣款,有一些可能是在 iOS App Store 里面管理,还有一些可能是 PayPal 订阅,Wallos 就是为了解决这个问题,提供了集中一体化追踪,管理,分析订阅的应用。 功能 Wallos 主要特性包括 订阅管理,管理订阅名称,价格,付款周期,到期日等 多币种管理,支持多种货币 汇率转换,Fix Read more ...


最近文章

  • Aside AI 浏览器介绍:既能自己干活,也能接入 Agent 前两天整理了一篇 AI 浏览器自动化方案怎么选,把 Playwright、MCP、Agent 专用浏览器、WebMCP 这些路线梳理了一遍。在那篇文章里我提到,「内置 Agent 的 AI 浏览器」这一类里我最看好的是 Aside,原因是它的密码管理器设计得很用心,但篇幅有限没有展开。今天就单独写一篇,聊聊这个浏览器到底能做什么、和 [[Comet]]、[[Dia Browser]] 有什么不一样,以及我现在是怎么用它的。如果你看完想试试,可以用我的邀请链接 https://aside.com/r/UpYKnv9ziq 注册,注册后会额外获得 100 Credits。
  • 入手 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 远程管理的最后一块短板补上了。
  • 呆呆面板 MCP 配置教程:让 Claude、Cursor 用自然语言管理定时任务 前两天写了一篇 呆呆面板 daidai-panel:轻量级青龙面板替代品介绍与 Docker 部署教程,在那篇文章里我提到呆呆面板和 [[qinglong 青龙面板]] 最明显的代差是内置了 [[MCP]] 服务,但只是简单带过。面板搭起来、脚本陆续迁移进来之后,我每天早上要做的第一件事就变成了打开面板,挨个看昨晚哪些任务失败了、报的什么错、是 Cookie 过期还是网站改版。这种重复又琐碎的巡检,恰好是 AI 最擅长替人做的事情。所以这一篇就专门聊聊呆呆面板的 MCP 怎么配置、怎么接入不同的客户端,以及在权限上应该怎么取舍。
  • 呆呆面板 daidai-panel:轻量级青龙面板替代品介绍与 Docker 部署教程 Homelab 里跑久了,总会攒下一堆零散的小脚本:每天早上抓一次汇率发到 Telegram,定时检查几个网站的证书有没有快过期,隔一段时间把某个 API 的数据拉下来存一份,再加上各种网站的自动签到。最开始我都是直接写进服务器的 crontab,时间一长就发现问题很多,脚本散落在不同的机器上,日志不知道去哪看,失败了也没人通知,Python 依赖装在系统里还经常和别的东西打架。几年前我为此折腾过 [[qinglong 青龙面板]],最近在 GitHub 上又看到一个定位几乎一样、但更轻量的新项目,叫呆呆面板([[daidai-panel]])。
  • RAGFlow:以深度文档理解为核心的开源 RAG 引擎介绍与部署使用教程 这两年我陆陆续续接触过一些 RAG 小工具,从最早自己用 [[LangChain]] 拼一个 demo,到后来用 [[AnythingLLM]]、[[Dify]] 的知识库功能,有一个体验几乎每次都会重演:拿几篇 Markdown 测试的时候效果惊艳,一旦换成真实的业务材料,比如一份带合并单元格的财报 PDF、一份双栏排版的论文、几页扫描的合同,回答马上就开始胡说八道。追查下去会发现问题根本不在大模型,而在最前面的解析和切块环节,表格被拍平成一串没有表头的数字,左右两栏的文字被交错拼接在一起,模型拿到的上下文本身就是错的。也正是因为这个痛点,我在调查 ESP32 小智 AI 后端的时候发现了 [[RAGFlow]],一个可以「深度文档理解」的开源 RAG 引擎。