← Files MathboxARCHIVED FILE
skills/manuscript-integrate/evals/trigger-evals.json
501 Bytes · Oct 3, 2026 · 06:33 UTC
[
{
"query": "Integrate the validated lemma into article.tex.",
"should_trigger": true
},
{
"query": "Update the theorem and introduction after the proof correction.",
"should_trigger": true
},
{
"query": "Verify the exact hypotheses of this cited theorem.",
"should_trigger": false
},
{
"query": "Draft a new proof for the missing lemma.",
"should_trigger": false
},
{
"query": "Fix typos in the introduction.",
"should_trigger": false
}
]
SHA-256: 11cb7afc5383a7d86c59c23133c97fb33436fff957544663ce48a6995d32b273