Minimal, portable, auditable
最小、可迁移、可审计
Spec
规范
This is the contract. Everything else is a view or a reference implementation.
这是契约。其它页面都只是视图或参考实现。
Hard constraints
硬约束
- No accounts.
- No personal data collection.
- Local-first tools: run in the browser, export text.
- Auditable thinking: claims with assumptions and counterexamples.
- 无账号。
- 不收集个人信息。
- 本地优先：工具在浏览器里运行，导出文本。
- 可审计：写清结论、假设与反例。
Core loop
核心闭环
Focus → Review → Decide
专注 → 复盘 → 决策
Outputs (Markdown)
输出（Markdown）
Today
今日计划
Review
复盘
Decision
决策
See copy-ready versions: /cards
可直接复制的版本：/cards
Auditable thinking format
可审计的思考格式
- Claim: the conclusion.
- Assumptions: what must be true.
- Counterexamples: when the claim fails.
- Change-my-mind: what evidence would update the belief.
- 结论：你当前的立场。
- 假设：成立所需条件。
- 反例：在哪些情况下不成立。
- 改观条件：什么证据会让你更新观点。
Example: 001
示例：001
Agent entrypoints
给 Agent 的入口