Silver
Definition of the Viper intermediate verification language.
Install / Use
/learn @viperproject/SilverREADME
====== Silver
Silver is the intermediate verification language of the
Viper project <http://www.pm.inf.ethz.ch/research/viper.html>_ by
Programming Methodology Group <http://www.pm.inf.ethz.ch/>_
at the Department of Computer Science, ETH Zurich.
Quick Start
Instructions for how to get started with Viper can be found here. <http://www.pm.inf.ethz.ch/research/viper/downloads.html>_
Syntax Highlighting
Files for LaTeX and various editors can be found under
silver/util/highlighting directory.
Related Skills
node-connect
343.1kDiagnose OpenClaw node connection and pairing failures for Android, iOS, and macOS companion apps
frontend-design
90.0kCreate distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, or applications. Generates creative, polished code that avoids generic AI aesthetics.
openai-whisper-api
343.1kTranscribe audio via OpenAI Audio Transcriptions API (Whisper).
qqbot-media
343.1kQQBot 富媒体收发能力。使用 <qqmedia> 标签，系统根据文件扩展名自动识别类型（图片/语音/视频/文件）。
