This is the source code for the W3C on-line WebIDL checker, a tool verify the correctness of WebIDL fragments embedded in HTML documents.

It defines a Python-based CGI interface on top of widlproc, with additional semantic checks done through a Schematron analysis of the resulting XML file.

Some of these analysis rely on knowing which WebIDLs are well-known in the Web platform: this list of well-known WebIDLs are maintained in the Web platform sub-directory.