菜单
Validate FeynRules .fr model files for physical consistency using Mathematica via Magnus cloud. Triggers when the user wants to check a .fr model file for Hermiticity, diagonal mass/quadratic terms, and kinetic term normalization.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Generate FeynRules .fr model files from LaTeX Lagrangian descriptions. Triggers when the user provides a Lagrangian in LaTeX notation and wants it converted to a FeynRules model file for particle physics simulations.
Run MadAnalysis5 analysis on generated event files via Magnus cloud. Triggers when the user wants to analyze Monte Carlo events, create kinematic distributions, apply event selections, or produce cut-flow reports. Supports parton-level (LHE), hadron-level (HepMC), and reconstruction-level (LHCO/ROOT) analysis.
Run MadGraph5_aMC@NLO event generation for particle physics simulations via Magnus cloud. Triggers when the user wants to generate Monte Carlo events, simulate collider processes, or run MadGraph5. Supports Pythia8 parton shower and Delphes detector simulation.
Run blueprints on the Magnus cloud platform via the `magnus` CLI. Use this skill when you need to execute remote computations on GPU/CPU clusters.
Generate UFO (Universal FeynRules Output) model directories from FeynRules .fr files via Magnus cloud. Triggers when the user has a validated .fr model and needs a UFO model for MadGraph5.
| name | feynrules-validator |
| description | Validate FeynRules .fr model files for physical consistency using Mathematica via Magnus cloud. Triggers when the user wants to check a .fr model file for Hermiticity, diagonal mass/quadratic terms, and kinetic term normalization. |
This skill validates FeynRules .fr model files for physical consistency by running four standard checks in both Feynman and Unitary gauge (8 checks total) using remote Mathematica execution via the Magnus cloud platform.
Validation is a critical step between writing a .fr model and generating a UFO model — it catches errors in the Lagrangian before they propagate to event generation.
Ensure the .fr file is complete and saved to disk. Know the exact Lagrangian symbol name (e.g., LSnew, Lag, LBSM).
Execute the validate-feynrules blueprint using magnus run (see magnus skill):
magnus run validate-feynrules -- --model path/to/model.fr --lagrangian LSnew
Parameters:
| Parameter | Required | Description |
|---|---|---|
--model | Yes | Path to the .fr model file |
--lagrangian | Yes | Exact Lagrangian variable name defined in the .fr file |
The .fr file is automatically uploaded via the FileSecret mechanism.
The blueprint returns a JSON result (check with magnus job result <job-id>) containing:
success (bool): True iff all 4 Unitary gauge checks pass. Feynman gauge results are informational only.verdict (str): Intelligent human-readable summary explaining the outcome — covers Goldstone mixing, field mixing, etc.feynman_gauge / unitary_gauge: Per-gauge results with 4 checks each:
hermiticitydiagonal_quadratic_termsdiagonal_mass_termskinetic_term_normalisationmodel_loading: Whether the model loaded successfullyIf validation fails:
verdict field for guidance on what to fix.fr file to correct the issuesThe validator auto-detects whether a model is:
M$GaugeGroups — loaded directlyM$GaugeGroups — the built-in SM.fr is loaded first automatically