Who should use Nagini IDE?

Nagini IDE is an open-source project built for python developers and formal-methods researchers.

Does Nagini IDE have a free plan?

Yes — Nagini IDE is free to use.

Is Nagini IDE still active?

Unverified. Nagini IDE has not been re-checked since it entered the index, so there is no finding either way — and only a positive finding would say otherwise.

What projects are similar to Nagini IDE?

Similar projects tracked by PulseGate include Sinew, pegon, and Python Compiler IDE & Editor.

How long has Nagini IDE been around?

Nagini IDE first shipped in 2026.

Back to the index

Nagini IDE

Name: Nagini IDE
Author: Chair of Programming Methodology - ETH Zurich

visualstudio.comIDEs & code editors🇨🇭

Nagini IDE is a Visual Studio Code extension for interactively verifying Python programs with the Nagini verifier. It provides editor integration such as verification feedback, snippets, and keybindings for developers and researchers working with formal program verification.

FreeWeb

Visit visualstudio.com

Overview

5 features

Nagini IDE is an IDEs & code editors project. It helps Python developers verify programs interactively within Visual Studio Code using the Nagini verifier. Nagini IDE is an open-source project aimed at python developers and formal-methods researchers. Nagini IDE is free to use. It runs on the web.

It is developed by Chair of Programming Methodology - ETH Zurich (Switzerland), and it first shipped in 2026. Among its 5 catalogued features are python verification, Interactive IDE, and code snippets.

Python verification
Interactive IDE
Code snippets
Keybindings
Verification feedback

Built with & integrations

Runs on

Browser

Trust & compliance

Verified signals

HTTPSFree tierStore-verified publisher

Indexing history

What PulseGate has recorded for this listing

Indexed26 Aug · 19:45 UTC
Nagini IDE verified against its public source
Source: PulseGate · Open

Frequently asked questions about Nagini IDE

What does Nagini IDE do?: Nagini IDE helps Python developers verify programs interactively within Visual Studio Code using the Nagini verifier. It is catalogued under IDEs & code editors on PulseGate.
Who should use Nagini IDE?: Nagini IDE is an open-source project built for python developers and formal-methods researchers.
Does Nagini IDE have a free plan?: Yes — Nagini IDE is free to use.
What platforms does Nagini IDE run on?: Nagini IDE runs on the web.
Is Nagini IDE still active?: Unverified. Nagini IDE has not been re-checked since it entered the index, so there is no finding either way — and only a positive finding would say otherwise.
What projects are similar to Nagini IDE?: Similar projects tracked by PulseGate include Sinew, pegon, and Python Compiler IDE & Editor.Sinew pegon Python Compiler IDE & Editor
Who develops Nagini IDE?: Nagini IDE is developed by Chair of Programming Methodology - ETH Zurich, based in Switzerland.
How long has Nagini IDE been around?: Nagini IDE first shipped in 2026.

At a glance

Platforms: Web
Languages: English
First seen: 26 Aug 2026
Built for: Python developers and formal-methods researchers
Model: Open source
Solves: Helps Python developers verify programs interactively within Visual Studio Code using the Nagini verifier.

Registered as

VS Code Marketplace: viper-admin.nagini-ide

Developer

🇨🇭Chair of Programming Methodology - ETH Zurich

Index record

Identity confidence: High · 91
Indexed: 26 Aug 2026
Lifecycle: Alive
First seen: Aug 2026
Last seen: 26 Aug 2026

Identity audit (12)

Slug: nagini-ide-visualstudio-com
Lifecycle state recorded: 26 Aug 2026
Verification state: Indexed for public listing
Listing state: Listed: yes
Index status: Included in index
Latest evidence snapshot: 26 Aug 2026
Timeline basis: Indexed-at chronology (no inferred launch/funding milestones).
Name from: Derived from the project's own page and URL.
Category from: Assigned by a language model.
Languages from: Detected by a language model from page content.
Last updated: 26 Aug 2026
Canonical URL: https://marketplace.visualstudio.com/items?itemName=viper-admin.nagini-ide

Ship this? Send a correction — no account, and you get a link to follow it.

Also in IDEs & code editors

Same category — not a similarity match