@nahisaho/musubix-core 1.7.0 → 1.7.5
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/AGENTS.md +6 -4
- package/package.json +1 -1
package/AGENTS.md
CHANGED
|
@@ -8,13 +8,13 @@
|
|
|
8
8
|
|
|
9
9
|
| 項目 | 詳細 |
|
|
10
10
|
|------|------|
|
|
11
|
-
| **バージョン** | 1.7.
|
|
11
|
+
| **バージョン** | 1.7.5 (Formal Verification Edition) |
|
|
12
12
|
| **言語** | TypeScript |
|
|
13
13
|
| **ランタイム** | Node.js >= 20.0.0 |
|
|
14
14
|
| **パッケージマネージャ** | npm >= 10.0.0 |
|
|
15
15
|
| **ビルドシステム** | モノレポ（npm workspaces） |
|
|
16
16
|
| **テストフレームワーク** | Vitest |
|
|
17
|
-
| **テスト数** |
|
|
17
|
+
| **テスト数** | 1527 (全合格) |
|
|
18
18
|
| **コンポーネント数** | 249 (62ドメイン対応) |
|
|
19
19
|
| **Agent Skills** | 12 (Claude Code対応) |
|
|
20
20
|
|
|
@@ -28,10 +28,11 @@
|
|
|
28
28
|
packages/
|
|
29
29
|
├── core/ # @nahisaho/musubix-core
|
|
30
30
|
├── mcp-server/ # @nahisaho/musubix-mcp-server
|
|
31
|
+
├── formal-verify/ # @nahisaho/musubix-formal-verify (NEW!)
|
|
31
32
|
├── yata-client/ # @nahisaho/musubix-yata-client
|
|
32
33
|
├── yata-local/ # @nahisaho/yata-local
|
|
33
34
|
├── yata-global/ # @nahisaho/yata-global
|
|
34
|
-
├── yata-ui/ # @nahisaho/yata-ui
|
|
35
|
+
├── yata-ui/ # @nahisaho/yata-ui
|
|
35
36
|
├── pattern-mcp/ # @nahisaho/musubix-pattern-mcp
|
|
36
37
|
├── ontology-mcp/ # @nahisaho/musubix-ontology-mcp
|
|
37
38
|
├── wake-sleep/ # @nahisaho/musubix-wake-sleep
|
|
@@ -42,10 +43,11 @@ packages/
|
|
|
42
43
|
|-----------|-----|------|
|
|
43
44
|
| `packages/core/` | `@nahisaho/musubix-core` | コアライブラリ - CLI、EARS検証、コード生成、設計パターン |
|
|
44
45
|
| `packages/mcp-server/` | `@nahisaho/musubix-mcp-server` | MCPサーバー - 19ツール、3プロンプト |
|
|
46
|
+
| `packages/formal-verify/` | `@nahisaho/musubix-formal-verify` | **形式検証** - Z3統合、Hoare検証、EARS→SMT変換 (NEW!) |
|
|
45
47
|
| `packages/yata-client/` | `@nahisaho/musubix-yata-client` | YATAクライアント - 知識グラフ連携 |
|
|
46
48
|
| `packages/yata-local/` | `@nahisaho/yata-local` | **YATA Local** - SQLiteベースローカル知識グラフ |
|
|
47
49
|
| `packages/yata-global/` | `@nahisaho/yata-global` | **YATA Global** - 分散型知識グラフプラットフォーム |
|
|
48
|
-
| `packages/yata-ui/` | `@nahisaho/yata-ui` | **YATA UI** - Web可視化・管理インターフェース
|
|
50
|
+
| `packages/yata-ui/` | `@nahisaho/yata-ui` | **YATA UI** - Web可視化・管理インターフェース |
|
|
49
51
|
| `packages/pattern-mcp/` | `@nahisaho/musubix-pattern-mcp` | パターン学習 - 抽出・圧縮・ライブラリ |
|
|
50
52
|
| `packages/ontology-mcp/` | `@nahisaho/musubix-ontology-mcp` | オントロジー - N3Store・推論エンジン |
|
|
51
53
|
| `packages/wake-sleep/` | `@nahisaho/musubix-wake-sleep` | Wake-Sleep学習サイクル |
|