skills/proof-audit/agents/openai.yaml

interface:
  display_name: "Mathbox: Proof Audit"
  short_description: "Adversarially audit a mathematical proof"
  default_prompt: "Use $mathbox:proof-audit to stress-test this claim and isolate the exact gap."
policy:
  allow_implicit_invocation: true