Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
คำอธิบายจากผู้ทำ (ภาษาอังกฤษตามต้นฉบับ)
French Civil Code (LEGI) as executable rules: facts and a legal date in, answers with grounds out
สามเรื่องนี้ไม่รวมเป็นคะแนนเดียว เพราะความเห็น การวัด และความนิยม เป็นคนละเรื่องกัน
ตัวนี้ยังไม่ได้เรียบเรียงเป็นภาษาไทย ด้านล่างคือข้อเท็จจริงที่เราอ่านจาก registry
เลือกโปรแกรม AI ที่คุณใช้ แล้วคัดลอกค่าตั้งไปวาง
ต้องเตรียมก่อน
คุณใช้แอปไหน
เลือกแอปด้านบน เราจำไว้ให้ ครั้งหน้าปุ่มจะขึ้นว่า “ติดตั้งลง …”
ใช้ได้ทั้ง Claude บนเว็บ แอปคอมพิวเตอร์ และมือถือ:
https://mcp.arxo.io/mcp/code-civilเปิด Claude Desktop → Settings → Developer → Edit Config แล้ววางค่านี้ในไฟล์ claude_desktop_config.json
{
"mcpServers": {
"code-civil": {
"command": "npx",
"args": [
"-y",
"@arxo/mcp-code-civil"
]
}
}
}พิมพ์คำสั่งนี้ใน Terminal
claude mcp add --transport http code-civil https://mcp.arxo.io/mcp/code-civilclaude mcp add code-civil -- npx -y @arxo/mcp-code-civilวางในไฟล์ .cursor/mcp.json ของโปรเจกต์ หรือ ~/.cursor/mcp.json
{
"mcpServers": {
"code-civil": {
"url": "https://mcp.arxo.io/mcp/code-civil"
}
}
}วางในไฟล์ .cursor/mcp.json ของโปรเจกต์ หรือ ~/.cursor/mcp.json
{
"mcpServers": {
"code-civil": {
"command": "npx",
"args": [
"-y",
"@arxo/mcp-code-civil"
]
}
}
}เบราว์เซอร์จะถามก่อนเปิดแอป จากนั้นแอปแสดงค่าตั้งให้ตรวจแล้วกดยืนยัน ช่อง key เว้นว่างไว้ให้คุณใส่เอง
วางในไฟล์ .vscode/mcp.json ของโปรเจกต์
{
"servers": {
"code-civil": {
"type": "http",
"url": "https://mcp.arxo.io/mcp/code-civil"
}
}
}วางในไฟล์ .vscode/mcp.json ของโปรเจกต์
{
"servers": {
"code-civil": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@arxo/mcp-code-civil"
]
}
}
}เบราว์เซอร์จะถามก่อนเปิดแอป จากนั้นแอปแสดงค่าตั้งให้ตรวจแล้วกดยืนยัน ช่อง key เว้นว่างไว้ให้คุณใส่เอง
ChatGPT ต่อได้เฉพาะ server ที่อยู่บนอินเทอร์เน็ต:
https://mcp.arxo.io/mcp/code-civilชื่อเมนูอาจต่างกันเล็กน้อยตามแพ็กเกจและรุ่นของแอป
ตัวเลือกเก็บในคุกกี้บนเครื่องนี้ ไม่ต้องมีบัญชี
ค่าตั้งนี้สร้างจากข้อมูลใน registry ของผู้ทำ ถ้าไม่ตรงกับ README ให้เชื่อ README
ยังไม่ได้อ่านรายการเครื่องมือของตัวนี้ เราตรวจ endpoint ทีละชุดวนไป
เราตรวจจากข้อมูลที่ใครก็เปิดดูได้ ยังไม่ได้อ่านโค้ด ข้อที่ไม่เกี่ยวกับตัวนี้ไม่นับในตัวหาร · ตรวจเมื่อ 6 พ.ย. 2569
ชื่อใน registry ยืนยันโดเมน arxo.io แล้ว (registry ตรวจความเป็นเจ้าของโดเมน)
ยังไม่ได้อ่านข้อมูล repo จาก GitHub
ยังไม่ได้อ่านข้อมูล repo จาก GitHub
ยังไม่ได้ตรวจ เราตรวจ endpoint ทีละชุดวนไป
ยังไม่ได้ตรวจ เราตรวจ endpoint ทีละชุดวนไป
ยังไม่ได้ตรวจ เราอ่านรายการเครื่องมือตอนตรวจ endpoint
เทียบกับทุก server ที่ยังใช้งานในหมวดนี้ทั้งทะเบียน ดาวนับเฉพาะเมื่อผู้ลงทะเบียนเป็นเจ้าของ repo
จากการตรวจเบื้องต้นของเรา ผ่าน 1 จาก 1 ข้อที่ตรวจได้ เรายังไม่ได้อ่านโค้ด ก่อนใส่กุญแจหรือ token ให้ดูว่า server ขอสิทธิ์อะไร และเลือกกุญแจที่ทำได้เท่าที่จำเป็น
registry ไม่ได้ระบุว่าต้องใช้กุญแจ แต่บางตัวจะขอให้ล็อกอินตอนใช้ครั้งแรก
ได้ทั้งสองแบบ จะลงในเครื่องหรือต่อผ่านคลาวด์ก็ได้
repo บน GitHub มีการแก้โค้ดล่าสุด – และส่งรุ่นล่าสุด (0.1.10) เข้า registry 23 วันที่ผ่านมา
โปรแกรมที่รองรับ MCP เช่น Claude Desktop, Claude Code, Cursor และ VS Code ตัวนี้ต่อผ่าน URL จึงใช้กับโปรแกรมที่รับ remote MCP ได้ เช่น ChatGPT ที่เปิดโหมดนักพัฒนา
ในหมวดเดียวกันมี Spec Driven Development, Remote Desktop Commander, HotCodePush
server หมวดเดียวกันจากผู้ทำคนอื่น เรียงตามดาว
อ่านการ์ด:★ ดาว GitHubiสามเสา: รีวิว · ผลตรวจ · การใช้งานiอัปเดต = วันที่ส่งรุ่นล่าสุดเข้า registryi
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
Manage over-the-air (OTA) updates for React Native, Expo, Capacitor and Cordova apps.
ส่วนนี้คัดจาก repo ของผู้ทำตามต้นฉบับ PopNx MCP ไม่ได้ตรวจหรือรับรองเนื้อหา ตัด HTML รูปภาพ และสคริปต์ออกแล้ว ลิงก์จะพาออกนอกเว็บ
Français · English
Explorez le Code civil français par les faits, la date juridique, les constatations du juge et des réponses reproductibles. Cette livraison réunit 16 paquets contemporains et un modèle historique de 1804. Les textes et étiquettes sources restent français ; les explications anglaises sont non officielles.
Poser une question · Choisir un modèle · Exemples · Inspecter une preuve · Profondeur et limites
Prérequis : Node.js 20+ et Git. Le CLI publié @arxo/cli@0.2.4 prend en charge macOS arm64 et Linux x64. Les modèles sont livrés ici par GitHub ; ils ne forment pas un paquet npm.
npm install -g @arxo/cli@0.2.4
git clone https://github.com/arxohq/arxo-code-civil.git cd arxo-code-civil law eval examples/renegociation-ouverte
Réponse attendue : COMPUTED / TRUE_ONLY. Le modèle établit l’ouverture de la renégociation selon l’article 1195 ; il ne réécrit pas le contrat et ne tranche pas le litige. Comparez le risque accepté et les constatations absentes :
law eval examples/risque-accepte
law eval examples/jugement-manquant
Ces cas donnent COMPUTED / NEITHER et REQUIRES_JUDGMENT / NEITHER. Absence de preuve, assertion négative et conflit restent distincts.
`fr.code_civil` est le paquet de prescription, pas un agrégat de tout le Code. Choisissez le paquet du sujet. Tous les modèles conservent leur version 0.1.0 ; la source contemporaine est figée au 16 septembre 2026. Ce dépôt n’est pas une vue mise à jour en continu du droit français.
| Paquet / Package | Sujet / Scope | EXECUTABLE | ANCHORED | SOURCE_ONLY | Autres / Other | Unités / Units |
|---|---|---|---|---|---|---|
fr.code_civil | Prescription / limitation | 57 | 0 | 4 | 0 | 61 |
fr.code_civil_1804 | 1804 / historical slice | 53 | 0 | 83 | 939 | 1075 |
fr.code_civil.biens | Biens / property | 182 | 0 | 19 | 0 | 201 |
fr.code_civil.contrat | Contrat / contract | 151 | 0 | 0 | 0 | 151 |
fr.code_civil.contrats_speciaux | Contrats spéciaux / special contracts | 264 | 0 | 3 | 0 | 267 |
fr.code_civil.core | Titre préliminaire / shared declarations | 8 | 0 | 0 | 0 | 8 |
fr.code_civil.famille | Famille / family | 52 | 0 | 343 | 0 | 395 |
fr.code_civil.liberalites | Libéralités / gifts and wills | 233 | 0 | 0 | 0 | 233 |
fr.code_civil.mayotte | Mayotte | 18 | 0 | 23 | 0 | 41 |
fr.code_civil.obligations | Obligations | 162 | 0 | 0 | 0 | 162 |
fr.code_civil.personnes | Personnes / persons | 425 | 0 | 10 | 0 | 435 |
fr.code_civil.regimes_matrimoniaux | Régimes matrimoniaux / matrimonial property | 100 | 0 | 39 | 0 | 139 |
fr.code_civil.responsabilite | Responsabilité / liability | 47 | 0 | 1 | 0 | 48 |
fr.code_civil.successions | Successions / inheritance | 143 | 1 | 123 | 0 | 267 |
fr.code_civil.suretes | Sûretés / security | 223 | 0 | 0 | 0 | 223 |
fr.code_civil.transitions | Réformes / transition acts | 4 | 0 | 0 | actes / acts | 4 |
fr.code_civil.vente_louage | Vente et louage / sale and hire | 222 | 0 | 46 | 0 | 268 |
doctrine.ius_privatum | Dépendance / dependency | — | — | — | — | not_measured |
calc.allocation | Dépendance / dependency | — | — | — | — | not_measured |
calc.kinship | Dépendance / dependency | — | — | — | — | not_measured |
units.si | Dépendance / dependency | — | — | — | — | not_measured |
| Exemple / Example | Question | Statut / Status |
|---|---|---|
prescription-1804 | Dette de 2000, action en 2015 — lecture 1804 | COMPUTED / FALSE_ONLY |
prescription-actuelle | Même dette — droit contemporain et transition 2008 | COMPUTED / TRUE_ONLY |
contrat-veille-2016 | Contrat du 30 septembre 2016 : frontière du paquet | COMPUTED / TRUE_ONLY |
contrat-jour-2016 | Contrat du 1er octobre 2016 : rédaction 2016 | COMPUTED / TRUE_ONLY |
contrat-2019 | Contrat de 2019 : rédaction ratifiée | COMPUTED / TRUE_ONLY |
renegociation-ouverte | Article 1195 : renégociation ouverte | COMPUTED / TRUE_ONLY |
risque-accepte | Risque accepté : conclusion non établie | COMPUTED / NEITHER |
jugement-manquant | Article 1218 : constatations judiciaires absentes | REQUIRES_JUDGMENT / NEITHER |
embargo-temporaire | Empêchement temporaire : suspension | COMPUTED / TRUE_ONLY |
embargo-definitif | Empêchement définitif : résolution | COMPUTED / TRUE_ONLY |
obligation-active | Obligation pendant la renégociation : ACTIVE | COMPUTED / POSITIONS: ACTIVE |
responsabilite-jugement | Faute : appréciation judiciaire requise | REQUIRES_JUDGMENT / NEITHER |
reserve-deux-enfants | Deux enfants : quotité disponible d’un tiers | COMPUTED / TRUE_ONLY |
legs-reduit | Réduction du legs : €30 000 | COMPUTED / TRUE_ONLY |
conjoint-quart | Conjoint survivant : un quart | COMPUTED / TRUE_ONLY |
veuve-1804 | Lecture 1804 : conjoint sans part | COMPUTED / TRUE_ONLY |
veuve-actuelle | Lecture contemporaine : conjoint un quart | COMPUTED / TRUE_ONLY |
Chaque répertoire contient le input.lawcase original, les données canoniques case.json, query.json, la requête native request.json et la réponse result.json. Les requêtes sont capturées par le CLI publié à partir des collections existantes ; aucune seconde sémantique juridique en Python ou JavaScript n’est ajoutée. origin adjudicated, négations explicites et politiques de dates sont conservés. Les collections natives permettent aussi 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
La réponse contient le statut de vérité et d’évaluation, les jugements requis, un graphe de preuve et les empreintes canoniques. Suivez les identifiants des règles vers les règles du contrat ou le monde lié.
Limite du CLI : la version 0.2.4 laisse sourceAnchors vide dans l’évaluation de ces exemples. La règle appliquée et ses anchors dans le modèle sont contrôlés séparément ; l’arbre natif ci-dessous résout les articles. Un tableau vide ne signifie pas une absence de source. Vérification.
Article 1195 — native unfold, depth 2
Native document.
law engine unfold registry/world/fr.code_civil.contrat.lawir.json \
renegociation_ouverte --clir registry/package --depth 2 --lang fr --json
Le tableau mesure l’édition contemporaine épinglée pour les paquets du Code. Leur dénominateur cumulé est de 2 899 articles. Les actes de transition ont un dénominateur distinct de quatre unités. Le texte capturé de 1804 compte 1 075 unités propres, dont 939 hors de la portée ancrée du modèle. Les anciennes rédactions contemporaines figurent séparément dans le rapport par unité, sans gonfler le dénominateur contemporain.
EXECUTABLE constate un nœud de dérivation ou de contrôle rattaché à l’article. Cela n’établit pas une formalisation complète de chaque alinéa ou conséquence. ANCHORED et SOURCE_ONLY restent visibles ; les dépendances de calcul ou de déclarations n’ont pas de dénominateur juridique mesuré. La mesure emploie le classificateur existant boundaries.depth, uniquement les nœuds propres au paquet, avec empreintes des entrées et de l’implémentation.
Un contrat antérieur à la réforme hors du paquet est une frontière du modèle, pas une absence de droit. Le modèle de 1804 est un sillon historique, pas tout le Code historique. Le moteur n’invente pas les constatations du juge, ne partage pas la succession, ne choisit pas le remède et ne fournit pas toutes les lois ou procédures externes. Positions normatives et propositions institutionnelles sont des résultats distincts. Consultez les limites de chaque paquet.
law test packages/fr.code_civil.core --file tests/titre-preliminaire.lawtest --json
python3.12 tools/check.py
Preuves locales : 89 scénarios dans des fichiers déclarés sélectionnés, plus un test allocation et sa propriété ; 17 exemples lecteurs. La déclaration historique d’allocation omet world : le refus du test natif du paquet est conservé, le test direct est rapporté à part. units.si n’annonce pas de suite. Aucune acceptation exhaustive des paquets ou du corpus n’est revendiquée. releaseVerified: false ; corpus not_checked. Livraison · Sources épinglées · Runtime · Inventaire exact.
Code des modèles et exemples : Apache-2.0. Textes LEGI capturés : DILA, Licence Ouverte 2.0, état des sources au 2026-09-16. Transcription historique : Wikisource, attribution et partage dans les mêmes conditions conservés séparément. NOTICE indique adresses, dates de récupération et empreintes. Démonstration indépendante de recherche, sans affiliation à la DILA ou à l’État français.