JayCRL · Wuhan, China

JustProve.

Code is magic. Programe makes difference.
把想法做成能跑的东西——从校园工具，到 AI agent 的运行时。

关于

我是 JustProve（GitHub: JayCRL）。相信代码能把不顺手的流程变得顺手，也相信工具应该安静地工作。

现在主要在写 AI agent 的基础设施：怎么让 agent 的上下文不断、怎么让它在手机上被指挥、怎么让它真的能操作界面。同时维护着几个校园项目。

仓库里从 Go 到 Java，从汇编操作系统到 Kotlin 个人信息管理——大多是「想看看能不能做出来」的东西。

GITHUBJayCRL

REPOS27

STACKGo · Java · Kotlin · ASM

BASE武汉 · 中国

把手机变成 AI 编码助手的控制中心——会话、消息、审批，状态只有一份。

面向 AI 编码 agent 的持久化运行时与编排基础设施。

云原生的记忆与交接层，让 agent 的上下文跨设备延续。

武科大助手的基础设施与管理后台，校园服务的底座。

结合 Markdown、思维导图与智能复习的自学系统。

一门自己写的编程语言——从词法到解释器。