メニュー
Formal grammars — weighted CFGs, grammar evolution, constrained generation
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
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
| 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