Skills
.Work. You
Rest

idris2-dfx

Community

Simplify canister development with automated code generation.

Software Engineering#deployment#code generation#sqlite#wasm#ic#canister#dfx
Authorshogochiai
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill streamlines the development process of IC canisters by generating boilerplate code and configuration files automatically, reducing manual errors.

Core Features & Use Cases

  • Automated canister entry code generation: Creates canister_entry.c using idris2-icwasm gen-entry.
  • Workflow Integration: Ensures that critical steps like sqlite_stable_save/load and sql_ffi_open are handled properly during upgrades.
  • Use Case: Developers building IC canisters can rapidly generate and update their entry points and deployment scripts, ensuring adherence to best practices.

Quick Start

Use the provided shell script to automatically generate the canister entry code with the correct arguments and dependencies.

Dependency Matrix

Required Modules

None required

Components

scriptsreferences

💻 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: idris2-dfx
Download link: https://github.com/shogochiai/vibecoding-demo/archive/main.zip#idris2-dfx

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.