一键导入
ix-grammar
Formal grammars — weighted CFGs, grammar evolution, constrained generation
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
菜单
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