关于

从语言开始，构建开发工具。

我开发Almide，以及供开发者和编程智能体使用的工具。

我设计并开发静态类型语言Almide。从用Rust实现语言本体，到标准库、编辑器支持与运行时，构建让语言真正可用的各个部分。

也把这门语言用于自己的开发：处理语法树的gramide、按结构读取代码的hew，以及隔离运行智能体的porta。在构建实际使用的工具时，持续打磨语言与工具。

作品

12 / 195

每个系列各取一个：最常动手的那个。其余都在列表里。

查看完整列表 (195)

代表作品

O6lvl4「almide」

almide

无论被AI改写多少次，代码都能继续通过的语言

功能

只追一个指标：经AI修改后仍能通过的代码比例
报错时把修法收敛到唯一一种
经Rust编译为原生与Wasm，输出逐字节一致

源代码文档

O6lvl4「hew」

hew

按模型该读的方式读代码：面向编程智能体的 cat/grep/sed

功能

指定函数或类型名，只返回那一段
带行号和大小，不让智能体读没要的行
grep 折叠重复，并标出所在的函数

O6lvl4「porta」

porta

只用你授予的权限来运行智能体

功能

为正在用的 CLI 智能体加上操作系统级限制
自己写的智能体在 WASM 运行时中隔离执行
一个 porta.toml 搞定，不需要 Docker

O6lvl4「codopsy」

codopsy

用同一把尺子，为35种语言的代码打分

功能

182条规则与复杂度，汇总成A到F的评分
从不执行代码：单一二进制，无需编译器或语言服务器
只看差异，质量一下降就让CI失败

O6lvl4「golemide」

golemide

读、改、跑测试：同一模型下比 Aider 解出更多题的编码智能体

功能

Aider 多语言基准 225 题通过 75.1%，花费 $0.45；同模型同环境下 Aider 为 67.1%
允许尝试 8 次时，Rust 与 Python 64 题全部通过，花费 $0.23
每次编辑都先过语法检查再写入

O6lvl4「comide」

comide

终端里的编码智能体，与 Claude Code、Codex、Aider 一脉相承

功能

决定看什么、改什么；编辑与测试交给 golemide
工具都是现成的程序：hew、gramide、golemide、ctxgate
可跑在 Cloudflare、OpenAI 兼容服务、Anthropic、Gemini、本地服务器或你的 Claude 登录上

写过些什么

各语言的仓库数

Almide

TypeScript

Go

JavaScript

Rust

Python

HTML

Lean

Shell

CSS

C

Lua

Racket

Zig

Ruby

MoonBit

Dart

Makefile

各 org 的提交

almide32

O6lvl4123

almide-graphics13

almd-mc24

almide-ai3

开发方向

从语言到工具

既开发语言，也开发使用这门语言的工具。围绕Almide，构建语法分析、代码读写工具与智能体运行环境。

阅读代码的工具

用Almide开发构建语法树的gramide，以及按函数和类型名称读取代码的hew。这些工具帮助编程智能体提取所需的代码。

AI基础设施

也在做让AI真正跑起来的部分：把智能体限制在所授予权限之内的 porta，以及用 Almide 写的智能体运行时（homullus）与 LLM 客户端（almai）。

提交数、首次提交、语言等数字，均由本地克隆测得。提交按作者日期计数，仓库之间共享的历史只计一次，合并提交计为一次。