{"id":49222805,"url":"https://github.com/symbolicsoft/verifpal-vscode","last_synced_at":"2026-04-24T05:02:06.635Z","repository":{"id":189311312,"uuid":"680432778","full_name":"symbolicsoft/verifpal-vscode","owner":"symbolicsoft","description":"Verifpal for Visual Studio Code","archived":false,"fork":false,"pushed_at":"2026-03-01T12:35:21.000Z","size":263,"stargazers_count":2,"open_issues_count":0,"forks_count":1,"subscribers_count":2,"default_branch":"master","last_synced_at":"2026-03-01T15:56:05.122Z","etag":null,"topics":["visual-studio-code"],"latest_commit_sha":null,"homepage":"https://verifpal.com","language":"TypeScript","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/symbolicsoft.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null}},"created_at":"2023-08-19T08:11:43.000Z","updated_at":"2026-03-01T12:35:24.000Z","dependencies_parsed_at":"2023-08-19T10:45:06.491Z","dependency_job_id":"70b6f4ba-29a4-496e-aa5c-e2e5d47b903d","html_url":"https://github.com/symbolicsoft/verifpal-vscode","commit_stats":null,"previous_names":["symbolicsoft/verifpal-vscode"],"tags_count":9,"template":false,"template_full_name":null,"purl":"pkg:github/symbolicsoft/verifpal-vscode","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/symbolicsoft%2Fverifpal-vscode","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/symbolicsoft%2Fverifpal-vscode/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/symbolicsoft%2Fverifpal-vscode/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/symbolicsoft%2Fverifpal-vscode/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/symbolicsoft","download_url":"https://codeload.github.com/symbolicsoft/verifpal-vscode/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/symbolicsoft%2Fverifpal-vscode/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":32209896,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-04-24T03:15:14.334Z","status":"ssl_error","status_checked_at":"2026-04-24T03:15:11.608Z","response_time":64,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.6:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["visual-studio-code"],"created_at":"2026-04-24T05:02:05.709Z","updated_at":"2026-04-24T05:02:06.628Z","avatar_url":"https://github.com/symbolicsoft.png","language":"TypeScript","funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003c!---\n# SPDX-FileCopyrightText: © 2019-2021 Nadim Kobeissi \u003cnadim@symbolic.software\u003e\n# SPDX-License-Identifier: CC-BY-SA-4.0\n--\u003e\n\n# Verifpal for Visual Studio Code\n\n[![](https://img.youtube.com/vi/it_hJkVU-UA/0.jpg)](http://www.youtube.com/watch?v=it_hJkVU-UA \"Verifpal for Visual Studio Code\")\n\n## What is Verifpal for Visual Studio Code?\nVerifpal for Visual Studio Code is an extension that provides IDE features for the [Verifpal](https://verifpal.com) protocol modeling and analysis software within the popular Microsoft [Visual Studio Code](https://code.visualstudio.com/) editor. It is an official extension that is developed and maintained by the Verifpal project. **Verifpal for Visual Studio Code requires Verifpal 0.13.0 or higher to be installed for all functionality to work correctly.**\n\n**Features**\n\n- Syntax highlighting for Verifpal models.\n- Formatting for Verifpal models using the standard Visual Studio Code API, including support for format-on-save.\n- Immediate access to Verifpal documentation and code insights simply by hovering over terms with your cursor.\n- Live diagram visualizations of Verifpal models within Visual Studio Code.\n- Live analysis of Verifpal models and visual results feedback within Visual Studio Code.\n\n## Getting Started\nTo install Verifpal for Visual Studio Code, simply search for it within the extensions search functionality of your Visual Studio Code Editor.\n\nSyntax highlighting will be available immediately on `.vp` files. To format a model, simply right-click within the editor and select _\"Format Document\"_.\n\nHovering over primitives (such as `HKDF` or `AEAD_ENC`) will show documentation for these primitives. Hovering over constants will show their assigned values and the name of the principal that created them. Hovering over queries (such as `confidentiality`) will show a brief description of that query's syntax and functionality.\n\nIn order to show a diagram visualizing your protocol, open the Visual Studio Code Command Palette (`Ctrl+Shift+P` on Windows and Linux, `⌘+Shift+P` on macOS) and search for the _\"Verifpal: Show Protocol Diagram\"_ command.\n\nIn order to launch an analysis, open the Visual Studio Code Command Palette (`Ctrl+Shift+P` on Windows and Linux, `⌘+Shift+P` on macOS) and search for the _\"Verifpal: Run Attacker Analysis\"_ command. **It is recommended that this feature not be used for models which take a long time to be analyzed.** Using Verifpal in the command line for more complex models will likely yield a better workflow since you will not be able to edit your model while analysis is running.\n\nVerifpal for Visual Studio Code may be configured via the following options in your Visual Studio Code User Settings file:\n\n- `verifpal.enabled`: enables or disables IDE features. (eg. `true`)\n- `verifpal.path`: Sets the path for the Verifpal binary on your computer. (eg. `/usr/local/bin/verifpal`)\n\n**Note**: If you have installed Verifpal via the Snap Store, you will need to set `verifpal.path` to `/snap/verifpal/current/bin/verifpal`.\n\n## Discussion\nSign up to the [Verifpal Mailing List](https://lists.symbolic.software/mailman/listinfo/verifpal) to stay informed on the latest news and announcements regarding Verifpal, and to participate in Verifpal discussions.\n\n## License\nVerifpal and Verifpal for Visual Studio Code are published by Symbolic Software. They are provided as free and open source software, licensed under the [GNU General Public License, version 3](https://www.gnu.org/licenses/gpl-3.0.en.html). The Verifpal User Manual is provided under the [Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)](https://creativecommons.org/licenses/by-nc-nd/4.0/) license.\n\n© Copyright 2019-2021 Nadim Kobeissi. All Rights Reserved. “Verifpal” and the “Verifpal” logo/mascot are registered trademarks of Nadim Kobeissi.","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsymbolicsoft%2Fverifpal-vscode","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsymbolicsoft%2Fverifpal-vscode","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsymbolicsoft%2Fverifpal-vscode/lists"}