Interplanting in a shaded herb garden

I have a garden bed that gets partial sun because of an avocado tree. I would like to interplant some things with garlic since we use a lot in our kitchen. Any ideas?

I'm thinking maybe garlic, spinach, and cilantro.

I hear peppermint is good, you can make tea and it's not picky. If you're really into Mexican food or something, ezapote is good (and helps with gas). Lavender smells really nice and helps with bugs, you can put it around your house too. Some people put it in their food, never done it.
Whatchu thinking?