skills.rest
Sunho Park avatar

Sunho Park

Community

@park-sunho · Seoul, Republic of Korea

20Followers
|
11Public Repos
|
1Published Skills
🐙 GitHub ↗🌐 Website ↗

Agent Skills by Sunho Park

Showing 1 vetted skills indexed across 1 GitHub repositories.

park-sunhopark-sunho
10

coqtail-mcp

Drive live Rocq/Coq sessions via MCP server tools.

Community
Advanced