Most definitely a Ringneck Snake (completely harmless). Their color is generally gray, but some individuals can be greenish-looking. Their red bellies also can make them look green, since red and green are opposites on the color wheel.
-----
- Natalie
(San Francisco Bay Area)