arifOS — Constitutional AI Kernel

Name: arifOS — Constitutional AI Kernel
Author: ariffazil

作者：ariffazilバージョン 1!2026.10.11i★ –iクラウドで動く

レジストリ名io.github.ariffazil/arifos

インストール

概要

作者による説明（英語の原文）

Constitutional verdict layer for AI agents. SEAL/HOLD before mutation. F1-F13 floors; audit ledger.

PopNx MCPの3つの柱

この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。

利用者の声iレビューはまだありませんレビューは今後のステップで、アカウント機能と一緒に始まります
私たちの基本チェックi1項目中1項目に合格公開情報からチェック。コードはまだスキャンしていません
利用状況i未計測★ –

できること

このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。

接続方法: クラウドで動く
トランスポート: Streamable HTTP
カテゴリ: 会計・財務・税務

インストール

使っているAIアプリを選んで、設定をコピーしてください。

インストールの前に

基本チェック：1項目中1項目に合格
作者のサーバーで動きます。あなたが頼んだ内容は、作者のサーバーを通ります。
レジストリには、入力が必要なキーは載っていません。

必要なもの

クラウドで動くインストール不要。インターネット経由でつながります

どのアプリを使っていますか？

ClaudeClaude CodeCursorVS CodeChatGPT

上でアプリを選んでください。選んだアプリを覚えておくので、次からはボタンに「…にインストール」と表示されます。

ウェブ、デスクトップ、モバイルのClaudeで使えます：

Settings → Connectors を開く
Add custom connector を押す
下のアドレスを貼り付けて Add を押す
サインインを求められたら、作者のサービスにサインインする

https://mcp.arif-fazil.com/mcp

ターミナルでこれを実行します

claude mcp add --transport http arifos https://mcp.arif-fazil.com/mcp

Cursorで開く

または、設定を自分でコピーする

プロジェクトの .cursor/mcp.json、または ~/.cursor/mcp.json に貼り付けます

{
  "mcpServers": {
    "arifos": {
      "url": "https://mcp.arif-fazil.com/mcp"
    }
  }
}

ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。

VS Codeで開く

または、設定を自分でコピーする

プロジェクトの .vscode/mcp.json に貼り付けます

{
  "servers": {
    "arifos": {
      "type": "http",
      "url": "https://mcp.arif-fazil.com/mcp"
    }
  }
}

ChatGPTがつなげるのは、インターネット上のサーバーだけです：

ウェブ版のChatGPTを開き → Settings → Connectors (Apps)
Create または Add を押す（プランによっては、先に Advanced で Developer mode をオンにする必要があります）
下のアドレスを貼り付け、名前を付けて保存する
サインインを求められたら、作者のサービスにサインインする

https://mcp.arif-fazil.com/mcp

メニューの名前は、プランや時期によって少し違うことがあります。

選んだアプリは、この端末のCookieに保存されます。アカウントは不要です。

この設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。

できること

このサーバーのツール一覧はまだ読み取っていません。エンドポイントは順番にチェックしています。

基本チェックi

誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月7日にチェック

✓ 合格
作者とリポジトリが一致
レジストリ名は、リポジトリを所有するGitHubアカウント ariffazil で確認済みです
… 未チェック
今もメンテナンスされている
このリポジトリはまだGitHubから読み取っていません
… 未チェック
ライセンスがある
このリポジトリはまだGitHubから読み取っていません
… 未チェック
エンドポイントが応答する
まだチェックしていません。エンドポイントは順番にチェックしています
… 未チェック
OAuthでサインイン
まだチェックしていません。エンドポイントは順番にチェックしています
… 未チェック
ツールの説明に隠れた指示がない
まだチェックしていません。エンドポイントをチェックするときにツール一覧を読み取ります

会計・財務・税務のほかのサーバーとの比較i

このカテゴリのほかの1732件のうち0%よりスターが多い
このカテゴリのほかの1732件のうち65%より最近レジストリに公開
基本チェックの結果が、このカテゴリのほかの1732件のうち100%と同じかそれ以上

レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。

よくある質問

arifOS — Constitutional AI Kernelは安全ですか？

当てはまる基本チェック1項目のうち1項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。

どんなキーやコードが必要ですか？

レジストリには必須のキーは載っていません。ただし、最初に使うときにサインインを求めるサーバーもあります。

パソコンで動きますか、それともクラウドですか？

作者のクラウドで動きます。インストール不要でインターネット経由でつながりますが、送った内容は作者のサーバーを通ります。

今もメンテナンスされていますか？

GitHubリポジトリの最終更新は–、最新バージョン（1!2026.10.11）がレジストリに届いたのは22 日前です。

どのアプリで使えますか？

Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。URLでつながるので、リモートMCPサーバーに対応したアプリ（開発者モードのChatGPTなど）でも使えます。

代わりに使えるものは？

同じカテゴリには：Finance Toolkit, SolidInvoice, Korea Tax Calculator

代わりの候補

同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。

カードの見方：★ GitHubスターi3つの柱：レビュー · チェック · 利用状況i更新＝最新バージョンをレジストリに公開した日i

Finance Toolkit

作者：JerBouma

500+ transparent financial methods calculated from raw statements, not third-party endpoints.

パソコンでもクラウドでも★ 5,496MIT今日更新

インストール

SolidInvoice

作者：SolidInvoice

Create and send invoices and quotes, manage clients, and track payments in SolidInvoice.

クラウドで動く★ 981MIT8 日前更新

インストール

Korea Tax Calculator

作者：UpstageAI

Korean tax calculation and tax-audit judgment MCP: 96 tools with statutory citations.

パソコンで動く★ 97MIT昨日更新

インストール

作者のREADME

READMEを開く

作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。

### ⚠️ Current verified state — generated, never hand-edited

Runtime self-measurement (http://127.0.0.1:8088/health @2026-10-29T17:02:36Z): kernel degraded · floors 12/13 measured pass · vault999 healthy · release arifos-5564ca6f7f61 · drift aligned (source=built=deployed) · tools exposed 9. Per-floor provenance: .well-known/current-state.json.

Independent audit (2026-10-11, live re-probe by FI-008 + claim-level hand audit; receipts: AAA/forge_work/grant-arifos-reality-reforge-2026-10-11/): floors 2 pass · fail F2, F11, F12, F13 · 7 unmeasured = 13 distinct (raw key-count 10 includes L11/L12/L13, L-prefix aliases of the failing F11/F12/F13) · actor binding not verified (observed calls unsigned) · receipt fidelity broken on invocation-telemetry surface (HOLD persisted as ok:true) · independent reconstruction: no external verifier bound.

These are two different witness objects. Self-measurement ≠ independent audit;

unmeasured is not pass. If this block conflicts with the live endpoint, the endpoint

wins — re-run python scripts/generate_current_state.py.

Machine state: .well-known/current-state.json ·

Badge feed: .well-known/badges/ ·

Known gaps: What Is Not Yet Proven

arifOS

Authority before execution.

arifOS is a model-independent authority plane for AI agents. It evaluates consequential proposals against thirteen constitutional floors *before* execution, returns a governed verdict, preserves the human veto, and records what happened as an auditable receipt.

In a world where intelligence is abundant, authority becomes the scarce resource. arifOS keeps judgment independent from execution.

Documentation · Live Kernel · MCP · MCP Registry (Glama) · PyPI · Security · Evidence

Proposer ≠ Judge ≠ Executor ≠ Witness

Human sovereignty > machine authority

What arifOS is not: not an AI model · not an agent framework · not an execution engine (A-FORGE executes) · not an attention plane (AAA attends) · not the witness (FRAME witnesses; VAULT999 remembers) · not a substitute for authentication, sandboxing, or legal review.

Audience	What you get
Human	A quiet veto: the agent proposes, the kernel records a verdict, you stay sovereign
Agent / A2A	MCP tools + receipts. You do not get the keys. Judgment by arifOS, discovery by AAA, execution by A-FORGE
Institution	Policy floors F1–F13, a hash-chained VAULT999 audit trail, model-vendor independence
Machine / MCP	Streamable HTTP endpoint, 8 canonical verbs, published schemas
Registries & Indexers	Glama MCP Directory (Score: A) · `server.json` (Official MCP Registry) · `CURRENT_VERIFIED_STATE.md` · `llms.txt` · `CITATION.cff`

Live: https://arifos.arif-fazil.com · MCP :8088 · sister organs AAA · A-FORGE · GEOX

Who built this

arifOS was built by Arif Fazil, a senior exploration geoscientist who spent his career making decisions where observations are incomplete, interpretations are probabilistic, provenance matters, and irreversible action must be gated. He transferred that discipline into agent runtime governance.

I am a geologist, not a programmer. I did not write this codebase and I do not read it line by line. What I do is point at where the problem is — and the agents in my federation solve it, inside the constitution and the review gates I set, with the commit trail to show who ran what.

Read the commits if you want to check that claim: the author fields are agent handles, not aliases of mine. That is the deliberate shape of this project, not a detail being hidden. It also sets the honest expectation — the design and the judgment are mine, the implementation is theirs, and where the two disagree, the bug is mine to answer for.

The system is named after its founder and reflects a core belief: governance is a systems problem, not a model problem.

One human, and the agents he directs.

30-second proof

pip install arifos

python examples/enterprise_operations_demo.py

Three of the six graded scenarios:

Read customer account data        → SEAL   (receipt RCPT-…)

Major refund (50× the ceiling) → HOLD (awaiting human) Delete account + audit trail → VOID (blocked by a hard floor)

Full transcript: docs/QUICKSTART.md. The demo runs in-process — no real records or funds are touched.

What works today

Deterministic rejection without consulting an LLM. The judge refuses on the constitution, not on a model opinion (gate: hard_deterministic, llm_consulted: false).
Prevention of a tested unauthorised mutation. One MUTATE-class call without presented authority was stopped before execution. Stronger: tampered-ACT tokens were rejected on 3 surfaces (kernel validate + kernel observe + A-FORGE policy gate) — receipts forge_work/lingkaran1/, measured 2026-10-29/30.

What is not yet proven

Every row names its own gap. Repairing a claim by substituting a stronger one is worse than the stale claim it replaced. (Closed rows are receipted in docs/evidence/GAP_HISTORY.md.)

Gap	Risk	Status
Independent security audit	Adversarial bypass testing not published	In progress — external researcher reviewing since 2026-08-25. Findings so far: fetch-surface SSRF (fixed, `1!2026.9.1`); Cypher injection (HIGH — key whitelist landed) and fastmcp path traversal (MEDIUM — containment guard landed). See SECURITY.md
Sovereign-binding of irreversible acknowledgement	`ack_irreversible` and `actor_signature` are transported as payload fields; nothing published shows a human signature bound to `(transaction_hash ‖ state_hash ‖ nonce)`, single-use, scoped, unforgeable by the proposing agent	Open — design drafted (`docs/judgment-integrity-2026-09-22/`), not implemented. F13 is enforced by convention and band-gating, not cryptographic transaction binding
Ledger head not externally anchored or signed	A hash chain held entirely by one party cannot detect wholesale rewrite by that party	Open — VAULT999 today is self-verifiable, not independently attestable
Third-party evaluation	No external reviewer has published findings	In progress since 2026-08-25; nothing published
Reproducible demo by strangers	Onboarding path not independently tested	Partial — demo verified here; no stranger has reproduced it unaided
Enterprise deployment	No production customer reference	Open
Standards conformance	MCP/A2A results not published externally	Partial — report: `result: PARTIAL`, per-tool schema validation DEFERRED
SBOM and signed releases	Supply-chain integrity unverified externally	Partial — CycloneDX on publish; no signing, no CVE scan
Test suite	Needs a live kernel (`tests/conftest.py` refuses without `:8088`, by design)	7,668 tests collect clean (2026-10-05); the identity/authority subset carries 34 pre-existing failures vs 321 passes (2026-09-30) — quote a failure set, never a bare pass count
Observability	Tracing partially wired	Partial — sovereign Postgres + arifFlow live; OTel spans on all 8 verbs; caller-side propagation incomplete
Semantic layer (Graphiti)	Knowledge graph retired from the read path	`graphiti_read: retired_888` (2026-09-04); semantic floor disabled by choice (`ARIFOS_ML_FLOORS=0`)
Comparative benchmark	No published comparison against alternative frameworks	Open
Maintainer continuity	Single sovereign, single reviewer; no succession or key-recovery procedure published	Open — relevant to institutional adoption
Identity registry in two copies	`contracts/identity.py` ↔ `arifosmcp/contracts/identity.py` had diverged; a one-sided edit ships split-brain identity	Mitigated 2026-09-30 (tripwire tests, 18 actors aligned) — consolidation to one owner still open

See SECURITY.md for the threat model and disclosure policy, and docs/evidence/claims.yaml for the machine-readable claim registry.

How it works

  Agent proposes action

│ ▼ ┌─────────────────┐ │ arifOS Kernel │ Evaluates against 13 constitutional floors │ (:8088) │ Records provenance + evidence refs + hashes └────────┬────────┘ │ ┌──────┼────────┬──────────┬───────────┐ ▼ ▼ ▼ ▼ ▼ SEAL HOLD SABAR PARTIAL VOID (go) (wait for (defer — (proceed (blocked by human) evidence with a floor) pending) cooling) │ │ ▼ ▼ Execute Human via reviews A-FORGE │ ▼ Receipt in VAULT999 (append-only hash chain)

The judge never executes. The executor never certifies.

The verdict lattice

Verdicts are ordered and non-compensatory — a

冒頭だけを表示しています。続きはリポジトリで読めます

arifOS — Constitutional AI Kernel

概要

PopNx MCPの3つの柱

できること

インストール

インストールの前に

できること

基本チェックi

作者とリポジトリが一致

今もメンテナンスされている

ライセンスがある

エンドポイントが応答する

OAuthでサインイン

ツールの説明に隠れた指示がない

会計・財務・税務のほかのサーバーとの比較i

よくある質問

代わりの候補

Finance Toolkit

SolidInvoice

Korea Tax Calculator

作者のREADME

arifOS

Authority before execution.

Who built this

30-second proof

What works today

What is not yet proven

How it works

The verdict lattice