Aletheia：面向编码智能体的可验证记忆工具

Aletheia 为编码智能体提供可验证的持久记忆，每条记忆都绑定函数、文件或代码行等证据，并在每次召回时重新检查。证据失效的记忆会被隐藏，Go 代码移动后可按声明指纹追踪新位置；工具支持 Claude Code、Cursor、VS Code、Codex 和 Aider，并提供 MCP、CLI、npm、Go、Homebrew 与 Scoop 等接入方式。