Design a web server that manages a collection of documents and exposes two core APIs: 1. InsertDoc(filename): Inserts/registers a document (by filename) into the server. 2. CheckContains(filename, predicate): Given a filename and a boolean predicate string (e.g., 'a || b || c' or 'a && b || c'), evaluate whether…