Code civil (France)

Name: Code civil (France)
Author: arxo.io

远程服务

code-civil.law.arxo.io法律与政务02 周前更新

代码仓库访问官网

关于 Code civil (France)

Code civil (France) 将法国《民法典》文本和规则模型打包，用于通过 `law` 命令行评估法律案例。它面向需要按法律日期和明确事实探索问题的用户，并提供可复现结果及模型决策范围说明。

主要功能

01按主题划分的《民法典》包
02依据事实和法律日期评估
03可检查的证据图与结果
04涵盖缺失或冲突事实的示例
05固定版本的现行与 1804 年文本

适用场景

01比较不同时期的时效问题
02用有日期的案例探索合同规则
03检查评估所依据的规则

配置

远程服务无需本地安装。选择你使用的客户端，复制配置或使用一键安装。

服务地址https://mcp.arxo.io/mcp/code-civil

一键复制安装命令

Claude CodeTerminalclaude mcp add --transport http io-arxo-code-civil https://mcp.arxo.io/mcp/code-civil

Cursor.cursor/mcp.json{"mcpServers":{"io-arxo-code-civil":{"type":"http","url":"https://mcp.arxo.io/mcp/code-civil"}}}在 Cursor 中打开

VS Code.vscode/mcp.json{"servers":{"io-arxo-code-civil":{"type":"http","url":"https://mcp.arxo.io/mcp/code-civil"}}}在 VS Code 中打开

Claude Desktopclaude_desktop_config.json{"mcpServers":{"io-arxo-code-civil":{"type":"http","url":"https://mcp.arxo.io/mcp/code-civil"}}}

Windsurf~/.codeium/windsurf/mcp_config.json{"mcpServers":{"io-arxo-code-civil":{"serverUrl":"https://mcp.arxo.io/mcp/code-civil"}}}

命令在终端中运行；JSON 粘贴到对应客户端的 MCP 配置后重启。需要授权的服务会在首次连接时提示登录。

安装包

npm@arxo/mcp-code-civil0.1.10stdio

工具

参数	类型	必填	说明
kinds	array	否	限制候选类型
limit	integer	否	候选项数量（8，最多 25）
query	string	是	用您自己的话提出问题或概念
package	string	否	仅在此法案中搜索

详细介绍

《法国民法典》作为可执行模型

Arxo 法国民法典

Français · English

通过事实、法律日期、法官认定和可复现的回答探索法国民法典。本次发布包含 16 个现行模型和一个 1804 年的历史模型。原文和标签保留法语；英文说明未经官方认可。

提问 · 选择模型 · 示例 · 检查证据 · 深度和限制

提问

前提条件：Node.js 20+ 和 Git。已发布的 CLI @arxo/[email protected] 支持 macOS arm64 和 Linux x64。模型通过此处的 GitHub 提供；它们不是 npm 包。

npm install -g @arxo/[email protected]
git clone https://github.com/arxohq/arxo-code-civil.git
cd arxo-code-civil
law eval examples/renegociation-ouverte

预期回答：COMPUTED / TRUE_ONLY。该模型根据第 1195 条确认开启重新协商的条件；它不会改写合同，也不会裁决争议。请比较已接受的风险和缺失的认定：

law eval examples/risque-accepte
law eval examples/jugement-manquant

这些案例分别返回 COMPUTED / NEITHER 和 REQUIRES_JUDGMENT / NEITHER。缺少证据、否定断言和冲突仍彼此区分。

选择模型

fr.code_civil 是时效规定包，并非整个《民法典》的汇总。 请根据主题选择对应的软件包。所有模型均保留版本号 0.1.0；当代来源的时间截点为 2026 年 9 月 16 日。本仓库并非持续更新的法国法律视图。

软件包 / Package	主题 / Scope	EXECUTABLE	ANCHORED	SOURCE_ONLY	其他 / Other	单位 / Units
`fr.code_civil`	时效 / limitation	57	0	4	0	61
`fr.code_civil_1804`	1804 年 / 历史片段	53	0	83	939	1075
`fr.code_civil.biens`	财产 / property	182	0	19	0	201
`fr.code_civil.contrat`	合同 / contract	151	0	0	0	151
`fr.code_civil.contrats_speciaux`	特别合同 / special contracts	264	0	3	0	267
`fr.code_civil.core`	序言标题 / 共享声明	8	0	0	0	8
`fr.code_civil.famille`	家庭 / family	52	0	343	0	395
`fr.code_civil.liberalites`	无偿处分 / gifts and wills	233	0	0	0	233
`fr.code_civil.mayotte`	马约特	18	0	23	0	41
`fr.code_civil.obligations`	债务	162	0	0	0	162
`fr.code_civil.personnes`	自然人 / persons	425	0	10	0	435
`fr.code_civil.regimes_matrimoniaux`	夫妻财产制度 / matrimonial property	100	0	39	0	139
`fr.code_civil.responsabilite`	责任 / liability	47	0	1	0	48
`fr.code_civil.successions`	继承 / inheritance	143	1	123	0	267
`fr.code_civil.suretes`	担保 / security	223	0	0	0	223
`fr.code_civil.transitions`	改革 / 过渡法案	4	0	0	法案 / acts	4
`fr.code_civil.vente_louage`	买卖与租赁 / sale and hire	222	0	46	0	268
`doctrine.ius_privatum`	依赖项 / dependency	—	—	—	—	未测量
`calc.allocation`	依赖项 / dependency	—	—	—	—	未测量
`calc.kinship`	依赖项 / dependency	—	—	—	—	未测量
`units.si`	依赖项 / dependency	—	—	—	—	未测量

模型 + 事实 + 日期 → 答案 → 证据

示例

示例 / 示例	问题	状态 / 状态
`prescription-1804`	2000 年的债务，2015 年提起诉讼 — 1804 年法解读	`COMPUTED` / `FALSE_ONLY`
`prescription-actuelle`	同一笔债务 — 当代法律与 2008 年过渡规则	`COMPUTED` / `TRUE_ONLY`
`contrat-veille-2016`	2016 年 9 月 30 日签订的合同：适用范围边界	`COMPUTED` / `TRUE_ONLY`
`contrat-jour-2016`	2016 年 10 月 1 日签订的合同：2016 年版本	`COMPUTED` / `TRUE_ONLY`
`contrat-2019`	2019 年签订的合同：经批准的版本	`COMPUTED` / `TRUE_ONLY`
`renegociation-ouverte`	第 1195 条：开放重新协商	`COMPUTED` / `TRUE_ONLY`
`risque-accepte`	已接受的风险：结论尚未确立	`COMPUTED` / `NEITHER`
`jugement-manquant`	第 1218 条：缺少司法认定	`REQUIRES_JUDGMENT` / `NEITHER`
`embargo-temporaire`	暂时性障碍：中止	`COMPUTED` / `TRUE_ONLY`
`embargo-definitif`	永久性障碍：解除合同	`COMPUTED` / `TRUE_ONLY`
`obligation-active`	重新协商期间的义务：ACTIVE	`COMPUTED` / `POSITIONS: ACTIVE`
`responsabilite-jugement`	过错：需要司法评估	`REQUIRES_JUDGMENT` / `NEITHER`
`reserve-deux-enfants`	两名子女：可自由处分部分为三分之一	`COMPUTED` / `TRUE_ONLY`
`legs-reduit`	遗赠的扣减：€30 000	`COMPUTED` / `TRUE_ONLY`
`conjoint-quart`	尚存配偶：四分之一	`COMPUTED` / `TRUE_ONLY`
`veuve-1804`	1804 年法解读：配偶无继承份额	`COMPUTED` / `TRUE_ONLY`
`veuve-actuelle`	当代解读：配偶继承四分之一	`COMPUTED` / `TRUE_ONLY`

每个目录都包含原始的 input.lawcase、规范数据 case.json、query.json、原生请求 request.json 和响应 result.json。这些请求由已发布的 CLI 根据现有集合捕获；没有在 Python 或 JavaScript 中添加第二套法律语义。origin adjudicated、明确的否定表述和日期策略均予以保留。原生集合也支持 law ask。

law ask collections/imprevision-force-majeure --case PrixEnHausse \
  --query-json collections/imprevision-force-majeure/queries/renegociation-ouverte.json \
  --format json

已提供和缺失的认定

检查证据

law inspect examples/renegociation-ouverte/result.json summary

响应包含真值和评估状态、所需的司法认定、证据图以及规范指纹。通过规则 ID，可查阅合同规则或关联世界。

CLI 限制： 0.2.4 版在评估这些示例时会将 sourceAnchors 留空。已分别检查所应用的规则及模型中的 anchors；下方的原生树可解析各条条文。空数组不表示缺少来源。验证。

第 1195 条 — 原生展开，深度为 2

renegociation_ouverte 的原生展开

原生文档。

law engine unfold registry/world/fr.code_civil.contrat.lawir.json \
  renegociation_ouverte --clir registry/package --depth 2 --lang fr --json

## 深度与限制

该表衡量《法典》各软件包中固定的当代版本。其累计分母为 2,899 篇条文。过渡法令的分母单独计算，共 4 项。1804 年捕获的文本包含 1,075 个自有单元，其中 939 个超出模型锚定范围。较早的当代版本单独列于按单元划分的报告中，不会增加当代版本的分母。

EXECUTABLE 表示存在与条文关联的推导或控制节点。这并不意味着每一款或每项后果都已完全形式化。ANCHORED 和 SOURCE_ONLY 均予以显示；计算或声明依赖项没有经过法律分母测量。该测量使用现有的 boundaries.depth 分类器，仅包含软件包自身节点，并记录输入与实现的哈希。

软件包范围之外、改革前的合同是模型边界，而非法律缺失。1804 年模型是一条历史脉络，并非整个历史《法典》。引擎不会虚构法官的认定、分割遗产、选择救济措施，也不会提供所有外部法律或程序。规范立场与机构提案是不同的输出。请参阅各软件包的限制。

重现选定的检查

law test packages/fr.code_civil.core --file tests/titre-preliminaire.lawtest --json
# Optional maintainer checks / vérification facultative : Python 3.12+
python3.12 tools/check.py

本地证据：选定声明文件中的 89 个场景，另有一项分配测试及其属性；17 个读者示例。历史分配声明遗漏了 world：保留软件包原生测试的拒绝结果，直接测试则单独报告。units.si 未声明测试套件。不声称已穷尽接受所有软件包或整个语料库。releaseVerified: false；语料库状态为 not_checked。交付 · 固定来源 · 运行时 · 精确清单。