Star Trek Miniatures
There have been a number of ranges of Star Trek miniatures licenced for games.
Heritage Models produced a range of miniatures based on the original Star Trek series (need more info) (OOP).
In the early 1980s Citadel Miniatures produced a small range of 25mm Star Trek miniatures and a few Starships (OOP).
Micro Machines are mini toys made by Galoob (now part of Hasbro). In the 1990s they made a number of box sets of Star Trek Star Ships which many gamers found useful for games (OOP).
Not made for games, but in 2013 Eaglemoss started a magazine called; Star Trek: The Official Starships Collection which come with a scaled (fit the box) pre-painted starship model, which could be used games (though they are not toys).