@voodocs/cli
v3.0.7
Published
AI-Native Symbolic Documentation System - The world's first documentation tool using mathematical notation with semantic validation
Maintainers
Readme
DarkArts v3.0.0 - AI-Native Mathematical Documentation
The world's first documentation system designed exclusively for AI.
DarkArts is a mathematical notation system for documenting code that is optimized for AI understanding, not human reading. It achieves 79% token reduction compared to traditional comments while providing more precise semantic information.
🎯 Philosophy
DarkArts is for AI, not humans.
- AI writes it - Using assistants like Claude, Cursor, GitHub Copilot
- AI reads it - LLMs parse it instantly with mathematical precision
- Humans don't touch it - Use generated docs or companion files instead
🔬 Mathematical Notation
DarkArts uses Unicode mathematical symbols for maximum precision and token efficiency:
| Symbol | Meaning | Example |
|--------|---------|---------|
| ⊢ | Purpose | ⊢{u auth svc} |
| ∂ | Dependencies | ∂{bcrypt,db} |
| ⚠ | Assumptions | ⚠{u exists in db} |
| ⊳ | Preconditions | ⊳{id:uuid,pw≥8} |
| ⊲ | Postconditions | ⊲{ret tok\|null} |
| ⊨ | Invariants | ⊨{no db mod} |
| ⚡ | Complexity | ⚡{O(1)} |
| 🔒 | Security | 🔒{pw:hash} |
New in v3.0.0
| Symbol | Meaning | Example |
|--------|---------|---------|
| ⇄ | Bidirectional | ⇄{enc↔dec} |
| ⊕ | Side Effects | ⊕{writes db} |
| ⊗ | Forbidden | ⊗{no pw log} |
| ≈ | Approximation | ≈{±0.001} |
| ∴ | Consequence | ∴{fail→null} |
| ∀ | Universal | ∀{users have email} |
| ∃ | Existential | ∃{admin required} |
⚡ Token Efficiency
79% reduction compared to traditional comments:
// Traditional (140 tokens)
/**
* User authentication service with JWT token generation.
* Dependencies: bcrypt, jsonwebtoken, database
* Preconditions: identifier must be valid UUID, password ≥8 chars
* Postconditions: returns JWT token or null
* Invariants: does not modify database
* Security: password hashed, token encrypted
*/
// DarkArts v3.0.0 (30 tokens)
/**@darkarts
⊢{u auth svc w/ JWT tok gen}
∂{bcrypt,jsonwebtoken,db}
⊳{id:uuid,pw≥8}
⊲{ret JWT tok|null}
⊨{no db mod}
🔒{pw:hash,tok:enc}
*/🚀 Quick Start
Installation
npm install -g @voodocs/[email protected]Initialize Project
voodocs initLet AI Generate Annotations
Use your AI assistant (Claude, Cursor, etc.) to generate DarkArts annotations:
Prompt: "Add DarkArts v3.0.0 annotations to this function"Validate
voodocs validate src/ -rGenerate Documentation
voodocs generate src/🎨 New Features in v3.0.0
1. Pattern Shortcuts
Use shorthand for common validations:
/**@darkarts
⊳{id:uuid, email:email, pw≥8, age[18,65]}
*/Available patterns:
:uuid- valid UUID:email- valid email format:url- valid URL:json- valid JSON:jwt- valid JWT token:hash- hashed value:enc- encrypted value≥N,≤N,>N,<N- numeric comparisons[N,M]- range notation∈{...}- set membership
2. Enhanced Abbreviations
200+ abbreviations for maximum compression:
Core:
u= user,pw= password,auth= authenticationtok= token,sess= session,svc= service
Web/API:
ep= endpoint,rt= route,mw= middlewarereq= request,res= response,hdl= handler
Security:
enc= encryption,dec= decryption,sig= signaturecert= certificate,perm= permission
Data:
db= database,tbl= table,rec= recordidx= index,sch= schema,coll= collection
[See full list in documentation]
3. New Mathematical Symbols
Seven new symbols for richer semantics:
/**@darkarts
⊢{data enc/dec svc}
⇄{enc↔dec} // Bidirectional operations
⊕{writes cache} // Side effects
⊗{no pw log} // Forbidden operations
≈{±0.001 precision} // Approximation
∴{if fail→retry 3x} // Logical consequences
∀{all data:enc} // Universal properties
∃{valid key required} // Existential properties
*/4. Better Validation
Enhanced parser with semantic validation:
$ voodocs validate src/auth.ts
Error in @darkarts annotation at line 42:
⊳{id:uuuid}
^^^^^
Unknown pattern ':uuuid'. Did you mean ':uuid'?
Available patterns: :uuid, :email, :url, :json, :jwt, :hash, :enc
Error at line 45:
Contradiction - invariant says no db modification,
but side effect writes to database📚 CLI Commands
# Initialize project
voodocs init
# Validate annotations
voodocs validate src/ -r
# Generate documentation
voodocs generate src/
# Create companion files (for compiled languages)
voodocs companion contracts/ -r
# Analyze priority (which files need annotations)
voodocs analyze src/
# Auto-fix issues
voodocs fix src/ -r
# Benchmark performance
voodocs benchmark src/
# Manage AI context
voodocs context init
voodocs context view
# Generate AI instructions
voodocs instruct🔧 Context System
DarkArts integrates with AI context management:
# Initialize context
voodocs context init
# Generate context from annotations
voodocs generate src/ -r
# View context
voodocs context viewContext files (.voodocs/context.json) provide structured information for AI assistants.
📄 Companion Files
For compiled languages (Solidity, Rust, etc.), use companion files:
# Create .voodocs.md files alongside source
voodocs companion contracts/ -rExample:
contracts/
Registry.sol
Registry.sol.voodocs.md ← Human-readable documentation🎓 For Humans
Humans should never manually write or read DarkArts annotations. Instead:
- Use AI to generate annotations
- Read generated docs (HTML, Markdown)
- Use companion files for human-readable documentation
🔬 Research & Patents
DarkArts is based on peer-reviewed research and protected by patents:
- Patent 1: Context-Augmented AI Systems
- Patent 2: Multi-Dimensional Quality Categorization
- Patent 3: Invariant-Guided Code Generation
- Patent 4: Token-Efficient Context Management
Portfolio Value: $50M-180M
📊 Benchmarks
Real-world performance validation:
| Metric | Improvement | |--------|-------------| | Token Reduction | 79% | | Quality Score | +42% | | Time Reduction | 43% | | Bug Detection | +67% | | Cost Savings | $12.2K/year per developer |
🌐 Ecosystem
- ESLint Plugin:
eslint-plugin-voodocs - TypeScript Support: Built-in parser
- Python Support: Built-in parser
- Solidity Support: Via companion files
📖 Documentation
🤝 Contributing
DarkArts is commercial software. For enterprise licensing:
- Email: [email protected]
- Website: https://voodocs.com
📜 License
Commercial License - © 2025 3vilEnterprises
🆕 What's New in v3.0.0
Breaking Changes
- Removed
@darkarts-lite- Only mathematical notation supported - New symbols - Old parsers won't recognize ⇄, ⊕, ⊗, ≈, ∴, ∀, ∃
Enhancements
- ✅ Pattern shortcuts (
:uuid,:email,≥N, etc.) - ✅ Enhanced abbreviations (200+ terms, up from 50)
- ✅ 7 new mathematical symbols
- ✅ Better validation with semantic checks
- ✅ Improved error messages with suggestions
- ✅ 79% token reduction (up from 57%)
Migration
No migration needed! v3.0.0 is backward compatible with v2.x annotations. New features are optional enhancements.
DarkArts v3.0.0 - The AI-Native Mathematical Language for Code
