gfmt

gfmt的含义有2个: 规范命题、鬼方密探等。