← Files MathboxARCHIVED FILE

skills/manuscript-integrate/evals/trigger-evals.json

501 Bytes · Oct 4, 2026 · 12:31 UTC

↓ Download file

[
  {
    "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