"Type: Proof":
  - **/!(MAIN).agc
"Type: Meta":
  - "**/MAIN.agc"
  - "**/*.md"
  - "*.md"