@nahisaho/musubix-core 1.7.5 → 1.8.0

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.
Files changed (2) hide show
  1. package/AGENTS.md +6 -4
  2. package/package.json +1 -1
package/AGENTS.md CHANGED
@@ -8,13 +8,13 @@
8
8
 
9
9
  | 項目 | 詳細 |
10
10
  |------|------|
11
- | **バージョン** | 1.7.5 (Formal Verification Edition) |
11
+ | **バージョン** | 1.8.0 (Security Analysis 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
- | **テスト数** | 1527 (全合格) |
17
+ | **テスト数** | 1586 (全合格) |
18
18
  | **コンポーネント数** | 249 (62ドメイン対応) |
19
19
  | **Agent Skills** | 12 (Claude Code対応) |
20
20
 
@@ -28,7 +28,8 @@
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
+ ├── security/ # @nahisaho/musubix-security (NEW!)
32
+ ├── formal-verify/ # @nahisaho/musubix-formal-verify
32
33
  ├── yata-client/ # @nahisaho/musubix-yata-client
33
34
  ├── yata-local/ # @nahisaho/yata-local
34
35
  ├── yata-global/ # @nahisaho/yata-global
@@ -43,7 +44,8 @@ packages/
43
44
  |-----------|-----|------|
44
45
  | `packages/core/` | `@nahisaho/musubix-core` | コアライブラリ - CLI、EARS検証、コード生成、設計パターン |
45
46
  | `packages/mcp-server/` | `@nahisaho/musubix-mcp-server` | MCPサーバー - 19ツール、3プロンプト |
46
- | `packages/formal-verify/` | `@nahisaho/musubix-formal-verify` | **形式検証** - Z3統合、Hoare検証、EARS→SMT変換 (NEW!) |
47
+ | `packages/security/` | `@nahisaho/musubix-security` | **セキュリティ分析** - 脆弱性検出、シークレット検出、テイント解析 (NEW!) |
48
+ | `packages/formal-verify/` | `@nahisaho/musubix-formal-verify` | 形式検証 - Z3統合、Hoare検証、EARS→SMT変換 |
47
49
  | `packages/yata-client/` | `@nahisaho/musubix-yata-client` | YATAクライアント - 知識グラフ連携 |
48
50
  | `packages/yata-local/` | `@nahisaho/yata-local` | **YATA Local** - SQLiteベースローカル知識グラフ |
49
51
  | `packages/yata-global/` | `@nahisaho/yata-global` | **YATA Global** - 分散型知識グラフプラットフォーム |
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@nahisaho/musubix-core",
3
- "version": "1.7.5",
3
+ "version": "1.8.0",
4
4
  "description": "MUSUBIX Core Library - Neuro-Symbolic Integration Engine",
5
5
  "type": "module",
6
6
  "main": "./dist/index.js",