Menu
Formal grammars — weighted CFGs, grammar evolution, constrained generation
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Test model robustness with adversarial attacks and defenses
Multi-armed bandit simulation — epsilon-greedy, UCB1, Thompson sampling
Benchmark and compare ix algorithm performance
Embedded Redis-like cache with TTL, LRU, pub/sub, and RESP protocol
Category theory primitives — monad laws verification, free-forgetful adjunction
Chaos theory analysis — Lyapunov exponents, bifurcation, attractors, fractals
Based on SOC occupation classification
| name | ix-grammar |
| description | Formal grammars — weighted CFGs, grammar evolution, constrained generation |
| disable-model-invocation | true |
Formal grammar systems for structured text generation and analysis.
When the user asks about context-free grammars, weighted production rules, grammar-guided generation, or evolving grammars with replicator dynamics.
use ix_grammar::weighted::{WeightedGrammar, Production};
use ix_grammar::replicator::GrammarReplicator;
use ix_grammar::constrained::ConstrainedGenerator;
Tools: ix_grammar_weights, ix_grammar_evolve, ix_grammar_search