AI Agent Skills

A highly extensible Markdown editor. Version control, AI Copilot, mind map, documents encryption, code snippet running, integrated terminal, chart embedding, HTML applet…

Datalog compiler embedded in Rust as a procedural macro

Macro workflow for building or changing a vertical slice of the CLI. Use as the entry point when adding a new end-to-end feature (domain → use-case → adapter → command →…

Macro workflow for auditing a single domain layer against its authoritative layer skill, applying fixes, and gating the result. Use when you need to prove a layer skill…

Upgrade Stellar/Soroban smart contracts using OpenZeppelin's upgradeable module. Use when users need to: (1) make Soroban contracts upgradeable via native WASM replaceme…