NKThemis/themis

AI コーディングエージェントの自己評価を信頼せず、機械判定と証拠ベースの検証で実行を制御するオーケストレーションカーネルです。

インストール型ツール自由に使える · MITAI エージェントPython難易度
1+0今週👀 120
0フォーク0Issue

中辛 の解説

Python ベースのオーケストレーションカーネルで、Claude Code・Cline などの AI エージェント上に乗せて使います。契約・DoR ゲート・SSOT 記録簿・病合ゲート(M1~M7)・フック 3 種・ライブモニターで構成され、デプロイ前のすべての判定を機械実行に移します。RED-first(先にテストを失敗させる)→ append 唯一記録 → 完了時に再実行対照という流れで、エージェントの虚偽報告や範囲外編集、静かな失敗を防ぎます。弱いモデル向けに短い契約規則(Q1~Q7)と dispatch テンプレート、fix パケットも付属します。

이런 레포예요

이럴 때 쓰면 좋아요

  • Claude Code・Cline での長期プロジェクトで、エージェントの虚偽報告や無許可の編集を防ぐ必要がある場合
  • 複数セッションにわたる AI 開発で、同じミスの繰り返しを記録・制度化して防ぎたいとき
  • 弱いモデル(Qwen など)や制限のあるハーネスを使う環境で、確実な検証と段階的なエスカレーション を実装したいケース

핵심 기능

機械実行による acceptance 再検証(M7)で emitted 証拠と実際の結果を対照検証Append 専用記録簿ですべての状態遷移を改ざん不可能な順序で記録契約冻結 + DoR ゲート + RED 先行で虚偽完了と範囲外編集を開始段階で遮断

대안 대비 차별점

エージェントの自己評価を信頼チェーンから完全に除外し、すべての判定をユーザー・システムが直接実行する唯一のカーネルで、append 専用記録簿と再実行対照により AI による虚偽報告を技術的に防ぎます。

食べた人たち

実際に使ってみた人の記録です — 一言も完走の記録も、確認のうえで公開しています。

試食評 · 使った人のひとこと

まだ試食評がありません。使ってみたら、最初のひとことをどうぞ。

ほかのリポジトリの試食評を見る →

이 레포로 만든 것들

🖋 완주 인증하기

아직 이 레포로 만든 완주 인증이 없어요. 첫 밥도장을 찍어보세요!

このリポジトリの作り方

はじめてですか? むずかしくありません — 上から順にたどれば、自分の環境で動かして味見できます。

준비물

  • Python 3.7 以上
  • Claude Code または Cline(オプション)
  • Git

바로 시작하기

  1. プロジェクトフォルダにインストールします(グローバルではなくプロジェクトフォルダで作業します)
python3 <このリポジトリのパス>/scripts/install.py <プロジェクトフォルダ>
cd <プロジェクトフォルダ>
python3 themis/orch.py check-env
  1. 全ゲート自己検証を実行します
python3 themis/orch.py selftest
  1. 新規プロジェクトの場合、インタビューからハーネス構成まで行います
python3 themis/orch.py genesis
  1. 契約を書いて承認します(examples/first-run/ に完走例があります)
python3 themis/scripts/gate.py approve t1 --reason "A-H 通過: ..."
  1. 実行状態を記録します
python3 themis/scripts/emit.py --type status --task t1 --status running
  1. 作業完了後、病合ゲートで検証します(exit 0 でのみ統合されます)
python3 themis/scripts/merge_gate.py t1

ギット飯トライで味見

入れるのが面倒で少し不安だったなら — 安全スキャンからインストールまで、ターミナル一行で終わります。

ターミナルに貼り付ければ、ギット飯の安全スキャン → 隔離フォルダへ clone → インストール → 実行方法の案内まで自動です。はじめてでも大丈夫 — この一行だけです。

npx gitbap-try NKThemis/themis

Node.js さえあれば、インストールなしで動きます · ギット飯トライとは? →

スター推移 · 7日

1+0 / 7일

使いやすさ · まねしやすいか

ベストサンプルサンプル評点 68/100
  • ゆるいライセンス
  • テストあり
  • サンプル集
  • 最近の更新
  • AGENTS.md
  • llms.txt
  • テンプレート

最近の更新あり · 2026 年に作成

「AI 에이전트」 こういうリポジトリを毎週受け取りませんか?

毎週月曜の朝、選んだ一膳だけ。広告なし · いつでも解除。

自分のリポジトリですか? README にギット飯バッジを貼る
[![깃밥](https://www.gitbap.com/badge/NKThemis/themis.svg)](https://www.gitbap.com/r/NKThemis/themis)
Claude からそのまま使う — ギット飯のつなぎ方

ギット飯を Claude につなぐと、こうしたリポジトリを Claude・Cursor・Codex から直接さがして試せます。

方法 ① コネクタ URL

Claude の設定 → コネクタにこのアドレスを貼り付け。

https://www.gitbap.com/api/mcp
方法 ② プラグイン(試用まで)

プラグインを入れると /gitbap-trending·/gitbap-try のスラッシュコマンドで、その場でリポジトリを試せます。Claude Code で下の 2 行を順に実行してください。

/plugin marketplace add jakeparkcolde/gitbap-cowork
/plugin install gitbap-cowork@gitbap
つなぎ方をくわしく →

AI が README をもとに要約しました · 原文を見る