Stores semantic information for buggy. Includes a server.