cl-是CommonLisp的简写，因此要检验cl-有以下几种方法，1、使用CLisp软件，进行CommonLisp的运行时检验。首先，你要把你的代码保存成文件，然后在CLisp中使用load命令加载你的文件，接着用evaluate命令运行代码，如果有错误会提示出来，如果没有错误则可以正确执行程序。2、在Atom中使用Paredit插件进行检验。首先安装该插件，然后根据提示正确书写CommonLisp代码，当你输入不正确的语法时，Paredit会有相应提示或建议，从而避免出现不正确的代码。3、在Repl。it上使用CommonLisp来检验。在Repl。it上可以直接运行CommonLisp代码，当你输入不正确的语法时，就可以及早发现问题，从而及时解决。除了上面提到的几种检验cl-的方法，还可以使用SBCL、Slime等工具来进行检验。