I am thinking of something like $\pi$-base but for groups: you give it properties $A,B,C,D$ of groups (or their opposites) and the website returns a list of all the groups it knows with those properties.
This question was inspired by this other question. Counterexamples for questions like that would be much easier to find if we had such a website.