5 分钟上手
登录、接客户端、干第一件事。不需要安装任何东西，也不需要手工贴 token。
1 · 登录
打开 console.rulith.com，用 GitHub 或 Google 登录。登录即开通，不需要邀请码；我们不存密码。
登录后你会看到账户页，以及一个默认智能体——它就是你的第一份可核对的记忆。
2 · 把客户端接上来
Claude Code：
claude mcp add --transport http rulith https://api.rulith.com/mcpCodex（~/.codex/config.toml）：
[mcp_servers.rulith]
url = "https://api.rulith.com/mcp"其他 MCP 客户端：加一个 Streamable HTTP 服务，地址 https://api.rulith.com/mcp，认证选 OAuth（自动发现）。
首次连接会弹浏览器让你授权。你在那里选 GitHub 还是 Google，就绑到对应的账户——同一个人用两种登录方式会得到两个独立账户（身份键使然），这一点值得注意。授权一次之后自动续期，不用再管。
控制台的已连接客户端页能看到每个客户端，可以单独撤销某一个（撤销后它必须重新登录，其他客户端不受影响）。
3 · 让它干第一件事
在客户端里直接说人话：
用 rulith 记下这几行订单（钢筋 3850×12、水泥 420×80），立一条"金额=单价×数量"的规则，再算个总额，最后解释总额是怎么来的。
回控制台的我的智能体页点进去，结论那一栏会写着：
金额：钢筋 46200
依据：按规则「金额 = 单价 × 数量」，从你提供的 1 项材料推导得出这就是可核对的形态：数不是模型报的，是板算的；每条结论都能问"凭什么"。
4 · 用目标驱动它（推荐）
比"你去做某事"更好的用法，是让智能体先声明什么算做完：
先用 declare_goal 声明目标：钢筋这一项已定价。然后按板给的提示补齐缺口。
板每一批都会回它还差什么：
needs via AX_PRICED: checked(item=steel)于是智能体的下一步不靠猜——它照着缺口去补证据或补规则。目标翻成 [satisfied] 的唯一方式是闭包真的支持它。
这个用法的价值在长任务上特别明显：智能体不会"以为自己做完了"，也不会在原地反复确认。
5 · 装领域能力
到控制台的领域能力页，选一个智能体，一键装上「审批」或「工单」。装上之后它就按那套判据办事——比如材料不齐不进入审批、没有签字就挂在待签。
现成的不够用？写自己的——一个包就是一组词加一组判据，控制台里粘 JSON、点校验、装上。
智能体手上有哪些工具
| 工具 | 做什么 |
|---|---|
update_working_memory | Submit a batch of working-memory operations to a board; the kernel applies them, recomputes the rule closure once, and returns the updated working memory (derived facts, goal satisfaction, hypothesis verdicts, and hints about which facts to observe next) |
get_logic_context | Read the current working memory of a board: goals (with satisfied flags), facts, hypotheses, findings, axioms, actions, results, conflicts, vocabulary |
explain_fact | Explain WHY a derived fact is true: the rule that derived it and its supporting facts recursively back to asserted/effect leaves, each marked [derived]/[asserted]/[effect] |
close_task | Finish a task: archive its tree (the goal node and everything under it) and get an honest capsule of what was actually established |
注意这里没有"建板/选板"这类工具：一个连接对应一个智能体，它不需要知道"板"这回事。少一个概念就少一份认知负担。
多个智能体
一个账户可以有多个智能体，每个有自己的记忆与领域能力——比如"采购审批"一个、"客服工单"一个，互不干扰。
在我的智能体页新建，然后在客户端里用带名字的地址各接一个：
claude mcp add --transport http rulith-purchase "https://api.rulith.com/mcp?agent=purchase"同一个登录、同一份凭证，换的只是驱动哪一个。控制台的已连接客户端页会给你每个智能体的专属命令。
任务做完了怎么办
一个智能体的板是长期存在的（领域能力装在它上面），任务做完不是换板，而是收工归档那棵任务树：智能体调用 close_task，板会先检查这件事是不是真的做完了——验收没达到、证据没接地、有未清的覆盖缺口，都会被挡回来并告诉它差什么。挡回来是特性：一个能被"我觉得做完了"糊过去的收工门，等于没有门。
content/*.md；能力清单、工具清单、字段矩阵由生成器从实现代码抽取
（快照在 facts.json）——改了实现而忘了改文档，校验会自己发现。