nagini

Plugin nagini from marketplace viperproject in viperproject/claude-marketplace. Commands read from the repo's manifest — 1 month ago.

Skills (4)

• handling-verification-errors

  Nagini debugging and error handling reference. Provides strategies for interpreting Nagini error messages, diagnosing verification failures, and iterating on specs and code to fix issues. Use this skill when you encounter verification errors in Nagini and need to understand and resolve them.

• nagini-language

  Nagini language reference and verification tools. Provides the syntax, permission model, and tooling needed to write and verify Nagini Python programs. Use when the user asks to verify, prove, or formally check Python code or to add specifications to it, when writing or reading Nagini specifications

• nagini-performance

  Verification performance for Nagini. The cost model, healthy-runtime baselines, and the catalog of contract, predicate, and proof shapes that determine verification cost. Use when designing spec vocabulary and contracts and when verification runs slow or times out.

• spec-quality

  Specification quality principles for Nagini verification. Covers predicate design, correctness properties, and method contract completeness. Use when designing or reviewing specifications for strength and completeness.

MCP servers (1)

• nagini

  runs: uvx --python ${NAGINI_PYTHON:-3.12} --from ${NAGINI_FROM:-nagini[mcp]==1.3.1} --with mcp>=1.2,<2 nagini_mcp

Similar plugins