关于 UN Charter 1945
UN Charter 1945 将经修订的《联合国宪章》整理为固定版本的可执行法律模型,并附来源记录和案例。它适合检查模型规范与案例问题;仓库提供由 `law` 执行的模型数据,不含独立规则代码。
主要功能
- 01固定版本的原文及来源记录
- 02可执行的宪章模型
- 03169 个经过检查的场景
- 04案例集合
- 05离线验证依赖
适用场景
- 01针对案例提出问题
- 02检查模型答案和场景
- 03离线重建固定版本包
配置
远程服务无需本地安装。选择你使用的客户端,复制配置或使用一键安装。
https://mcp.arxo.io/mcp/charterclaude mcp add --transport http io-arxo-charter https://mcp.arxo.io/mcp/charter{"mcpServers":{"io-arxo-charter":{"type":"http","url":"https://mcp.arxo.io/mcp/charter"}}}在 Cursor 中打开{"servers":{"io-arxo-charter":{"type":"http","url":"https://mcp.arxo.io/mcp/charter"}}}在 VS Code 中打开{"mcpServers":{"io-arxo-charter":{"type":"http","url":"https://mcp.arxo.io/mcp/charter"}}}{"mcpServers":{"io-arxo-charter":{"serverUrl":"https://mcp.arxo.io/mcp/charter"}}}命令在终端中运行;JSON 粘贴到对应客户端的 MCP 配置后重启。需要授权的服务会在首次连接时提示登录。
工具
20| 参数 | 类型 | 必填 | 说明 |
|---|---|---|---|
| kinds | array | 否 | 缩小候选项类型范围 |
| limit | integer | 否 | 候选项数量(8,最多 25 个) |
| query | string | 是 | 用自己的话提出问题或描述概念 |
| package | string | 否 | 仅在此文书内搜索 |
详细介绍
arxo-charter-1945
固定的权威文本,可直接执行:包含带有来源记录的原文、基于原文构建的模型,以及用于检验其答案的场景。此处的规范是数据——由 law 执行;本仓库不包含自有规则代码。
内容
| 软件包 | 版本 | 场景 | 依赖项 |
|---|---|---|---|
doctrine.iura_humana | 0.1.0 | 1 | 0 |
un.charter | 0.1.0 | 169 | 1 |
验证方式
每个软件包都由 package.py 使用固定的工具链构建:编译、在两个评估器上运行 §267 个场景、重放已保存的评估结果,并从发布版本重新构建。任何步骤失败都会导致构建停止。
python3 tools/toolchain.py download --lock toolchain.lock.json --out /tmp/law-tools
python3 /tmp/law-tools/package.py packages/<name> \
--lawc /tmp/law-tools/law-cli --offline --out /tmp/<name>-release
依赖项
依赖项的字节存储在 packages/<name>/deps/ 下,并会根据 law.lock 中记录的 contentHash 进行验证:构建和 CI 均可离线运行。
案例示例
每个案例集本身都是一个案例软件包:包含事实、问题和答案,并将固定的权威文本作为依赖项。在其目录中运行 law ask . 即可提问——不会下载任何内容。
权利
代码和模型:请参阅 LICENSE。出版方提供的固定文本各自遵循其复制条款,详见每个软件包中的 NOTICE;这些条款不受代码许可协议约束。
维护者:Rifat Dzhumagulov ([email protected])。地址:https://github.com/arxohq/arxo-charter-1945。
评论
一个开放协议,规定了 AI 应用如何以统一方式连接外部工具与数据源。客户端负责与模型对话,MCP 服务负责提供工具、资源和提示模板,两者通过标准消息通信,同一个服务可以被不同客户端复用。