IMO, dry leaves need not to be composted. All you want is to break them into smaller particles. I would just mix fall leaves with garden soil. If you have worms in the soil, they will convert them into worm casing without a need for micro organisms. But if you could chop them, it will work much faster and mix well with the soil. The othe option is just to pile them up as a compost pile let it sit there, if you are not in hurry.

The Carbon to Nitrogen ratio of leaves ranges from 40 to 1 to 80 to 1 depending on the age of those leaves, so how much N may be needed depends on that. Moisture levels is also important since not enough will keep the bacteria from working and too much will cause anaerobic bacteria to get to work.
Most people that put out pumpkins for Halloween toss them into the garbage because they do not look on them as a resource but simply as garbage. Sources of N could be lawn food, bags of compost from the garden center, or even blood meal.

Don't forget your kitchen scraps, all through the winter. Layer them with leaves and by spring you'll have a compost pile halfway cooked already.