procheck is the name of the static syntax analysis of TclPro

See Also

the analgogous component of Tcl Dev Kit


Anyone know how to enhance procheck to check new signatures or perhaps to add pragmas to one's script to indicate that a particular signature should not be checked?

While I don't know the answer, note that there should be one. When Scriptics owned TDK('s predecessor), extension was feasible only through contract with the company; now, AS documents ProCheck's API.