Как минимум, для SBCL, SLIME может искать определения, нажимая «M-», однако вам нужно скомпилировать SBCL из источника, чтобы это работало, так как путь к определениям источника встроен в двоичный файл, и если вы используете бинарный дистрибутив, вы, вероятно, не будете иметь исходные файлы в том же месте.