另外，如果说有教义的话，修验道的教义应该概括为什么呢？
简单来说，说起阴阳道就能想到阴阳五行，说起密教就能想到两部曼荼罗，说起日莲宗就能想到妙法莲华经等等，修验道中是否也能找到类似的概念（或者特有名词）——可以简单明了的让人联想到修验道的核心思想、教义以及其山岳实践一面的宗教形态呢？

正如你所说，役行者并非实际上的创教者，更有可能是假托的传说，其来源无论是密教、道教或是萨满教皆是外来的。和阴阳道被吸收为朝廷的部门不同，走的是依托佛教的咒术修行宗教的路线。最大的特点则是特化了山岳修行（密教也有相关内容）和面向在家人的俗众，強調人的佛性，并不特化出家这一概念。
你说其在现代的佛教色彩淡化，我并不能同意，其信仰本质来源于佛教，并大体上分为真言系和天台系（有实际的宗派寺院依托），即便是山岳修行的实质内容（咒文、手印等等）也还是和佛教有关，当然毫无疑问的是修验道是被视为单独的宗派的。

教义其实是很难概括的，即便是佛教的各个宗派，他们对自己的定义也不尽相同。修验道的行者称为山伏，或称修验者，此名字亦解释为密教中的修以有验者，那么可以说其终极目的就是通过困苦的山岳修行证达佛果，或者像役行者一样获得出世的神通。如同前文我将其描述为咒术修行宗教，不可忽视的是其吸收的大量经文咒语广泛来源于佛教、阴阳道、日本原始的自然信仰及中国传来的相关书籍。

哈哈感谢回复。
我看到一些对岸的书里讲，近代以来的修验道佛教色彩淡化的说法，大多认为是肇始自神佛分离令之后。尤其是日本近代宗教法人制的推行，对教派的区分更为明晰，像修验道这种原本形态暧昧的信仰为了寻求自我定义，才开始或被动或主动地剥离其佛教及僧院成分，作为替代开始更强调山岳修行的一面。
当然，这里说的可能更多的是大众印象的变化，如果说严格意义上的去除佛教色彩，对于修验道这种一开始就通过佛教建立自己教义的派系来说，恐怕是不可能去除干净的。就算当代宗教想以山岳信仰作为原点进行重新构建，最好的方法也要找到比役行者更早的（不过5世纪再往前溯，有没有文献恐怕都是未知数了）

关于教义的概况这点，我其实看过一些文章，大多围绕着“十界修行”、“柱源护摩”这类象征教理的行法加以解释，不过佛教色彩还是较重容易让人把将其联想为佛教的支派；另外就是类似“修行得验”之类的非常直白的说法。不过这些感觉都不是特别容易联想，才想交流看看别人眼中的修验道是什么样的印象的