musubix 1.8.0 → 1.8.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/README.ja.md +10 -4
- package/README.md +22 -4
- package/docs/USER-GUIDE-v1.8.0.md +2371 -0
- package/docs/USER-GUIDE.ja.md +170 -5
- package/docs/USER-GUIDE.md +487 -6
- package/docs/overview/MUSUBIX-Phase1-Complete.md +271 -0
- package/docs/overview/MUSUBIX-Security.md +891 -0
- package/package.json +4 -2
package/README.ja.md
CHANGED
|
@@ -6,11 +6,12 @@
|
|
|
6
6
|
[](https://nodejs.org/)
|
|
7
7
|
[](LICENSE)
|
|
8
8
|
[](https://www.typescriptlang.org/)
|
|
9
|
-
[](https://github.com/nahisaho/MUSUBIX)
|
|
10
|
+
[](https://www.npmjs.com/package/@nahisaho/musubix-security)
|
|
10
11
|
|
|
11
12
|
> MUSUBI × YATA 統合による次世代AIコーディングシステム
|
|
12
13
|
>
|
|
13
|
-
> **v1.
|
|
14
|
+
> **v1.8.0** - セキュリティ分析エディション
|
|
14
15
|
|
|
15
16
|
## 概要
|
|
16
17
|
|
|
@@ -37,6 +38,7 @@ MUSUBIXは、**ニューラル（LLM）** と **シンボリック（知識グ
|
|
|
37
38
|
- 📤 **KGPR** - 安全な知識共有のためのKnowledge Graph Pull Request *(v1.6.4)*
|
|
38
39
|
- 🚀 **YATAプラットフォーム拡張** - インデックス最適化、拡張エクスポート、グローバル同期、コード生成、Web UI *(v1.7.0)*
|
|
39
40
|
- 🔬 **形式検証** - Z3 SMTソルバー統合、Hoareトリプル検証、EARS→SMT変換 *(v1.7.5)*
|
|
41
|
+
- 🛡️ **セキュリティ分析** - 脆弱性スキャン、シークレット検出、テイント解析、依存関係監査 *(v1.8.0)*
|
|
40
42
|
|
|
41
43
|
## アーキテクチャ
|
|
42
44
|
|
|
@@ -86,6 +88,8 @@ flowchart TB
|
|
|
86
88
|
| `packages/ontology-mcp/` | **オントロジーエンジン（NEW!）** |
|
|
87
89
|
| `packages/wake-sleep/` | **Wake-Sleep学習（NEW!）** |
|
|
88
90
|
| `packages/sdd-ontology/` | **SDDオントロジー（NEW!）** |
|
|
91
|
+
| `packages/security/` | **セキュリティ分析（NEW!）** |
|
|
92
|
+
| `packages/formal-verify/` | **形式検証** |
|
|
89
93
|
| `steering/` | プロジェクトメモリ |
|
|
90
94
|
| `storage/` | 仕様書・成果物 |
|
|
91
95
|
| `templates/` | テンプレート |
|
|
@@ -121,6 +125,8 @@ npx musubix-mcp --transport stdio
|
|
|
121
125
|
npm install @nahisaho/musubix-core
|
|
122
126
|
npm install @nahisaho/musubix-mcp-server
|
|
123
127
|
npm install @nahisaho/musubix-yata-client
|
|
128
|
+
npm install @nahisaho/musubix-security
|
|
129
|
+
npm install @nahisaho/musubix-formal-verify
|
|
124
130
|
```
|
|
125
131
|
|
|
126
132
|
### ソースからビルド
|
|
@@ -292,5 +298,5 @@ nahisaho
|
|
|
292
298
|
---
|
|
293
299
|
|
|
294
300
|
**文書ID**: README
|
|
295
|
-
**バージョン**: 1.
|
|
296
|
-
**最終更新**: 2026-01-
|
|
301
|
+
**バージョン**: 1.8.0
|
|
302
|
+
**最終更新**: 2026-01-06
|
package/README.md
CHANGED
|
@@ -7,11 +7,15 @@
|
|
|
7
7
|
[](https://nodejs.org/)
|
|
8
8
|
[](LICENSE)
|
|
9
9
|
[](https://www.typescriptlang.org/)
|
|
10
|
-
[](https://github.com/nahisaho/MUSUBIX)
|
|
11
|
+
[](https://www.npmjs.com/package/@nahisaho/musubix-security)
|
|
12
|
+
[](https://www.npmjs.com/package/@nahisaho/musubix-dfg)
|
|
13
|
+
[](https://www.npmjs.com/package/@nahisaho/musubix-lean)
|
|
14
|
+
[](https://www.npmjs.com/package/@nahisaho/yata-scale)
|
|
11
15
|
|
|
12
16
|
> Next-generation AI Coding System powered by MUSUBI × YATA Integration
|
|
13
17
|
>
|
|
14
|
-
> **v1.
|
|
18
|
+
> **v1.8.5** - Deep Symbolic Integration Edition
|
|
15
19
|
|
|
16
20
|
**[日本語版 README](README.ja.md)**
|
|
17
21
|
|
|
@@ -40,6 +44,10 @@ MUSUBIX is an innovative AI coding system that integrates **Neural (LLM)** and *
|
|
|
40
44
|
- 📤 **KGPR** - Knowledge Graph Pull Request for safe knowledge sharing *(v1.6.4)*
|
|
41
45
|
- 🚀 **YATA Platform Enhancements** - Index optimization, enhanced export, global sync, code generation, web UI *(v1.7.0)*
|
|
42
46
|
- 🔬 **Formal Verification** - Z3 SMT solver integration, Hoare triple verification, EARS-to-SMT conversion *(v1.7.5)*
|
|
47
|
+
- 🛡️ **Security Analysis** - Vulnerability scanning, secret detection, taint analysis, dependency auditing *(v1.8.0)*
|
|
48
|
+
- 📊 **DFG/CFG Extraction** - Data flow graph and control flow graph analysis for TypeScript/JavaScript *(v2.0.0-alpha.1)*
|
|
49
|
+
- 🧮 **Lean 4 Integration** - Theorem proving with EARS-to-Lean conversion and ReProver proof search *(v2.0.0-alpha.1)*
|
|
50
|
+
- 📈 **YATA Scale** - Distributed knowledge graph with sharding, multi-tier caching, and vector clock sync *(v2.0.0-alpha.1)*
|
|
43
51
|
|
|
44
52
|
## Architecture
|
|
45
53
|
|
|
@@ -91,6 +99,11 @@ flowchart TB
|
|
|
91
99
|
| `packages/sdd-ontology/` | **SDD Ontology (NEW!)** |
|
|
92
100
|
| `packages/yata-local/` | **YATA Local - SQLite Knowledge Graph (NEW!)** |
|
|
93
101
|
| `packages/yata-global/` | **YATA Global - Distributed Knowledge Platform (NEW!)** |
|
|
102
|
+
| `packages/security/` | **Security Analysis (NEW!)** |
|
|
103
|
+
| `packages/formal-verify/` | **Formal Verification** |
|
|
104
|
+
| `packages/dfg/` | **DFG/CFG Extraction - Data Flow Analysis (v2.0.0)** |
|
|
105
|
+
| `packages/lean/` | **Lean 4 Integration - Theorem Proving (v2.0.0)** |
|
|
106
|
+
| `packages/yata-scale/` | **YATA Scale - Distributed KG (v2.0.0)** |
|
|
94
107
|
| `steering/` | Project Memory |
|
|
95
108
|
| `storage/` | Specifications & Artifacts |
|
|
96
109
|
| `templates/` | Templates |
|
|
@@ -126,6 +139,11 @@ npx musubix-mcp --transport stdio
|
|
|
126
139
|
npm install @nahisaho/musubix-core
|
|
127
140
|
npm install @nahisaho/musubix-mcp-server
|
|
128
141
|
npm install @nahisaho/musubix-yata-client
|
|
142
|
+
npm install @nahisaho/musubix-security
|
|
143
|
+
npm install @nahisaho/musubix-formal-verify
|
|
144
|
+
npm install @nahisaho/musubix-dfg
|
|
145
|
+
npm install @nahisaho/musubix-lean
|
|
146
|
+
npm install @nahisaho/yata-scale
|
|
129
147
|
```
|
|
130
148
|
|
|
131
149
|
### Build from Source
|
|
@@ -297,5 +315,5 @@ See [CHANGELOG.md](CHANGELOG.md)
|
|
|
297
315
|
---
|
|
298
316
|
|
|
299
317
|
**Document ID**: README
|
|
300
|
-
**Version**: 1.
|
|
301
|
-
**Last Updated**: 2026-01-
|
|
318
|
+
**Version**: 1.8.0
|
|
319
|
+
**Last Updated**: 2026-01-06
|