Skills
.Work. You
Rest

extract-code

Official

Streamline conversion of verified Dafny code to Python or Go for safe integration.

Software Engineering#python#go#formal verification#compilation#code-generation#dafny
Authornicholls-inc
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill translates verified Dafny programs into Python or Go code, enabling seamless integration of formally verified logic into practical projects.

Core Features & Use Cases

  • Code Translation: Compile Dafny source into either Python or Go, removing runtime boilerplate for clean deployment.
  • Verification Assumption: Assumes Dafny code is pre-verified; facilitates code extraction for further testing or deployment.
  • Use Case: Developers who have verified algorithms in Dafny can quickly generate executable code in their desired language for use in production systems.

Quick Start

Use the extract-code skill to convert your verified Dafny program into Python code ready for integration.

Dependency Matrix

Required Modules

None required

Components

references

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: extract-code
Download link: https://github.com/nicholls-inc/claude-code-marketplace/archive/main.zip#extract-code

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.