Question: where are mibs stored in linux?
Answer: The location is probably dependent on your distribution; on Debian they live under /usr/share/snmp/mibs .