SearchBrowse
The IDCC has released the Martsearch interface (now visible as a tab) on the IKMC website:
http://www.knockoutmouse.org/martsearch
Martsearch reads and searches many IKMC-related BioMarts to integrate IKMC knockout data with other mouse-related information.
Emphasis in future development will include enhancing the integration with high-throughput expression and phenotype data marts and services.
Martsearch relies on completely open data services, and is open-source ( https://github.com/i-dcc/martsearch ).