We develop groupoidal realizability models of intensional type theory, wherein realizers themselves carry higher-dimensional structure. This can be understood as a formalization of an extension/modification of the BHK interpretation such that evidence for an identification of two objects is a path between them.