idris2-dfx

Generate canister entry code for IC development workflows.

Updated Apr 1, 2026
One-click install
npx skills add https://github.com/shogochiai/vibecoding-demo --skill idris2-dfx
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: idris2-dfx
Source: https://github.com/shogochiai/vibecoding-demo/tree/main/.claude/skills/idris2-dfx
Command: npx skills add https://github.com/shogochiai/vibecoding-demo --skill idris2-dfx

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes scripts (resource) and references (resource) components.

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.

Frequently Asked Questions about idris2-dfx

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I automate canister entry code generation for IC development?

Automating canister entry code generation involves using shell scripts to create `canister_entry.c` via `idris2-icwasm gen-entry`. This process automatically configures dependencies and enforces best practices for blockchain canister upgrades.

How does sqlite_stable_save/load work during wasm canister upgrades?

Handling sqlite_stable_save/load during wasm canister upgrades requires automated scripts to manage stable memory integration. The workflow ensures SQLite data persists correctly across canister upgrades by enforcing safety standards for FFI interactions.

Can I use dfx to manage SQLite and stable memory in Internet Computer canisters?

Yes, managing SQLite and stable memory in Internet Computer canisters is supported through automated deployment routines. The process handles sql_ffi_open and sqlite_stable_save/load steps properly, ensuring data consistency across canister upgrades without manual configuration.

Why does my canister upgrade fail when handling sql_ffi_open FFI interactions?

Canister upgrade failures during sql_ffi_open FFI interactions often stem from improper handling of stable memory and SQLite states. Automating canister entry code generation enforces security standards and correct upgrade procedures to prevent these manual errors.

What is the best way to maintain code consistency for wasm-based canister entry points?

Maintaining code consistency for wasm-based canister entry points is best achieved through automated boilerplate code generation. This approach streamlines IC canister development by automatically creating configuration files and entry points, reducing manual errors during upgrades.