The F* Manager