Mobvibe 是一个面向本地 AI Agent 工作流的分布式 ACP WebUI。 它把浏览器、桌面端或移动端界面和你本机上的 Agent CLI 连接起来， 让你可以在任何设备上继续同一个会话，而不需要自己折腾反向代理或复杂网络配置。
这篇页面继续沿用这个博客的写法：先写一份源码稿，再通过 gocire 转成真正的文档页面。
也就是说，这个 TypeScript 文件本身就是文章源文件。
如果你只想尽快上手，最短路径是：
npx @mobvibe/cli login
npx @mobvibe/cli start
Gocire is a static document generator that turns your source code into documents directly. It's highly inspired by Lean4 verso, Aya's literate programming mode and TypeScript's twoslash package. However compare to them, we turn the comment into document, and equip source code powerful IDE-like features, moreover, we support multiple programming languages, in fact, all languages supported by both Tree-Sitter and SCIP.
Gocire supports multiple programming languages, yes.
class GoCire {
constructor(parameters) {
}
}In fact, we should be able to support all programming languages with support by Tree-Sitter with LSP or SCIP.
This is super helpful for programming languages with inference or gradual typing. For example, the monad language, Haskell, some people(me) really rely on editor's inlay hint or hover documentation to understand what's going on with types, and yes gocire supports Haskell with hls.
While for now, we cannot have multiple source code of multiple languages in one file, as we are using the source code itself as doc source, thus I have to demonstrate how it works on haskell in another file.