skills.rest
Lee Joon ho avatar

Lee Joon ho

Community

@twoloop-40 · Seoul

4Followers
|
42Public Repos
|
2Published Skills
🐙 GitHub ↗

Agent Skills by Lee Joon ho

Showing 2 vetted skills indexed across 2 GitHub repositories.

twoLoop-40twoLoop-40

Formal Specification Driven Development

Generate Idris2 specifications and translate verified designs to Python, Rust, or TypeScript.

Community
Advanced
twoLoop-40twoLoop-40
2

HWP Automation Tools

Extract HWP API PDFs into text and generate Idris2 specifications and modules.

Community
Advanced