musubix

MUSUBIX - Neuro-Symbolic AI Integration System for Software Development

Installation

npm install musubix

This will install all MUSUBIX packages:

• @nahisaho/musubix-core - Core library (CLI, EARS validation, code generation)
• @nahisaho/musubix-mcp-server - MCP Server (19 tools, 3 prompts)
• @nahisaho/musubix-security - Security analysis
• @nahisaho/musubix-formal-verify - Formal verification with Z3
• @nahisaho/musubix-yata-client - YATA knowledge graph client
• @nahisaho/yata-local - Local SQLite-based knowledge graph
• @nahisaho/yata-global - Distributed knowledge graph platform
• @nahisaho/yata-scale - Distributed sharding and caching
• @nahisaho/musubix-pattern-mcp - Pattern learning MCP
• @nahisaho/musubix-ontology-mcp - Ontology reasoning MCP
• @nahisaho/musubix-wake-sleep - Wake-Sleep learning cycle
• @nahisaho/musubix-sdd-ontology - SDD methodology ontology
• @nahisaho/musubix-dfg - Data Flow Graph extraction
• @nahisaho/musubix-lean - Lean 4 theorem prover integration
• @nahisaho/musubix-library-learner - API pattern learning
• @nahisaho/musubix-neural-search - Semantic code search
• @nahisaho/musubix-synthesis - Program synthesis

Usage

CLI

npx musubix --help
npx musubix init
npx musubix requirements analyze <file>
npx musubix design generate <file>

Library

import { EarsValidator, CodeGenerator } from 'musubix';
import { security, synthesis, neuralSearch } from 'musubix';

// Core features
const validator = new EarsValidator();
const result = validator.validate(requirement);

// Advanced features
const synthesizer = synthesis.createEnhancedPBESynthesizer();
const searcher = neuralSearch.createHybridRanker();

Documentation

• User Guide
• API Reference
• AGENTS.md - For AI coding agents

License

MIT