普罗瓦拉
AI系统的主权记忆
](https://pypi.org/project/provara/)   
______________________________________________________________________
今天发布的每个AI代理框架都有内存问题。不是上下文窗口问题—— 信任 问题。
Mem0、Zep、LangChain内存——它们都以其他人的格式，在其他人的API密钥后面，将代理的认知状态存储到其他人的服务器上。当该服务转换、被收购或关闭时，您的代理的内存也会随之变化。不导出。无需验证。没有证据表明你得到的是你投入的。
普罗瓦拉 是一个MCP服务器，为AI代理提供防篡改、加密签名、离线的第一内存。每个观察都是哈希链。每一个信念都可以从证据中得到补偿。每个保险库都可以通过一个命令进行验证。你的代理人的记忆属于你，而不是一个平台。
快速入门
从PyPI安装并运行附带的参考库：
pip install provara
hunt-mcp这将启动MCP服务器，使其具有一个可工作的保险库，为任何兼容MCP的客户端做好准备。从零到跑步不到60秒。
连接到克劳德代码
claude mcp add provara -- hunt-mcp指向您自己的保险库
HUNT_VAULT_PATH=/path/to/vault hunt-mcp启用写入操作
HUNT_VAULT_PATH=/path/to/vault \
HUNT_SIGNING_KEY_B64="your-base64-ed25519-private-key" \
hunt-mcp工具
读取工具（无需密钥）
| 工具 | 说明 |
|---|---|
vault_status | 保险库健康状况：事件计数、状态哈希、默克尔根、密钥信息、合规性摘要 |
list_events | 列出带有过滤器的事件（类型、参与者、命名空间、限制、偏移量） |
get_event | 按event_id列出的完整事件 |
get_state | 当前缩减状态（所有命名空间或已筛选） |
get_beliefs | 按命名空间、可选键模式（主题：谓词）查询信念 |
get_evidence | 特定信念密钥的证据线索 |
verify_vault | 运行完整性+合规性检查，返回通过/失败的详细信息 |
search_events | 按有效载荷内容（主语、谓语、值子字符串）搜索事件 |
写入工具（必需 HUNT_SIGNING_KEY_B64)
| 工具 | 说明 |
|---|---|
append_observation | 添加观察：主语、谓语、值、置信度 |
append_assertion | 添加断言：主语、谓语、值、置信度 |
环境变量
| 变量 | 必填 | 描述 |
|---|---|---|
HUNT_VAULT_PATH | 否 | vault目录路径（默认： ./examples/reference_backpack) |
HUNT_SIGNING_KEY_B64 | 用于写入 | Base64编码的Ed25519私钥 |
为什么是普罗瓦拉？
篡改明显。 每个事件都使用Ed25519和哈希链进行加密签名。任何修改，即使是一个翻转的位，都会破坏因果链，导致验证失败。金库用一棵默克尔树和一份签名的清单密封起来。
先离线。 无云依赖。家里没有电话。没有遥测。Provara在没有互联网连接的仓库里，在USB驱动器和机器人上无间隙地工作。主权意味着该系统无需征得任何人的许可即可运行。
一个依赖。 协议层只导入一个外部包： cryptography (>= 41.0).MCP服务器添加 fastmcp。这就是整个依赖树。没有框架腐烂。没有值得担心的可传递供应链风险。
确定性。 相同的事件，相同的减速器，相同的状态——在任何机器上，任何时间，永远。规范JSON序列化（RFC 8785）、SHA-256哈希（FIPS 180-4）、Ed25519签名（RFC 8032）。不同语言的两个实现必须为同一输入产生字节相同的输出。如果哈希匹配，则实现是正确的。
可审计。 事件日志是NDJSON。在文本编辑器中打开它。读一下。保险库是一个普通文件的目录。无专有格式。没有二进制blob。您和您的数据之间没有数据库引擎。
运作原理
每个vault都是一个目录，其中包含：
- events/events.ndjson --仅附加事件日志（已签名，内容已寻址）
- 身份/ --Genesis记录+公钥注册表
- 政策/ --安全政策、同步合同、保留规则
- manifest.json --SHA-256哈希的确定性文件索引
- merkle_root.txt --完整性锚点（Merkle树根）
MCP服务器加载事件，运行确定性缩减器来计算四个命名空间（规范、本地、有争议、存档）的状态，并通过类型化工具公开所有内容。真理不是合并的——证据是合并的，真理是重新计算的。
建筑
服务器封装了Provara L0协议模块：
| 模块 | 责任 |
|---|---|
canonical_json | RFC 8785确定性JSON序列化 |
integrity | SHA-256文件哈希、Merkle树、路径安全 |
signing | Ed25519密钥对管理、事件/清单签名 |
reducer | 确定性四命名空间状态缩减器 |
manifest | 清单生成和验证 |
sync | 事件日志I/O、因果链验证、分叉检测 |
bootstrap | 从头开始创建保险库 |
rekey | 密钥轮换协议 |
七个模块。110次测试。一个外部依赖。协议规范冻结在L0。
创建新保险库
from hunt_protocol.bootstrap import bootstrap_backpack
from pathlib import Path
result = bootstrap_backpack(Path("./my_vault"))
print(f"UID: {result.uid}")
print(f"Root key: {result.root_key_id}")
print(f"Private key (save this!): {result.root_private_key_b64}")然后将服务器指向它：
HUNT_VAULT_PATH=./my_vault HUNT_SIGNING_KEY_B64="
" hunt-mcpClaude代码集成
使用Claude Code注册服务器以直接访问工具：
claude mcp add provara -- hunt-mcp使用自定义vault和写入权限：
claude mcp add provara \
-e HUNT_VAULT_PATH=/path/to/vault \
-e HUNT_SIGNING_KEY_B64="your-key-here" \
-- hunt-mcpDocker支持
Docker快速入门
使用附带的参考保管库（默认情况下为只读装载）在容器中运行Provara MCP：
docker-compose up从主机装载自定义vault目录后：
HUNT_VAULT_PATH=/path/to/vault docker-compose up要启用写操作，请在运行时注入签名密钥（切勿将密钥烘焙到映像中）：
HUNT_VAULT_PATH=/path/to/vault \
HUNT_SIGNING_KEY_B64="your-base64-ed25519-private-key" \
docker-compose up有关设计原理、安全考虑和验证步骤，请参阅DOCKER.md。
链接
- 主页： provara.dev
- 存储库：
- PyPI： pypi.org/project/provara
许可证
Apache 2.0-普罗瓦拉