For those who want to use current versions of smilint or smidiff to check MIB or PIB modules, but who cannot or don't want to compile and install the libsmi software on their own computer, we have set up a "mail robot" at smilint@ibr.cs.tu-bs.de. You can send your MIBs or PIBs to be checked to this service and get back a mail reply that contains the smilint or smidiff results. Please send a first mail with the subject "help" to retrieve a short documentation that explains how to use this mail service.