We present a suite of on-line tools to design candidate vaccine proteins, and to assess antigen potential, using coverage of k-mers (as proxies for potential T-cell epitopes) as a metric. The vaccine design tool uses the recently published mosaic method to generate protein sequences optimized for coverage of high-frequency k-mers, the coverage-assessment tools facilitate coverage comparisons for any potential antigens. To demonstrate these tools, we designed mosaic protein sets for B-clade HIV-1 Gag, Pol and Nef, and compared them to antigens used in a recent human vaccine trial.