I think it's a great idea, but I'm somewhat anti-skill.

Every single skill I see just strikes me as a prompt. In every case it's easier for me to create a description of what is needed specific to the task. If I need a longstanding process I will discuss with the agent and create a document.

This is one of the most flexible tools ever made, and I frankly am not going to accept unnecessary systematization of how I use it.

Ah yes, I recall all those times as an engineer where my managers kept insisting I communicate like Socrates to improve my work. Software is solved.

This is honestly pretty damn good actually.

Running it with my local models it is a pretty helpful way to study up something where you already have some bases.

I dunno if you really need this. I asked AI to generate me a Lean tutorial with exercises and it did a really great job, one-shot with no skills. My 4th attempt to learn Lean and I'm actually making progress this time. (Mostly because you can say "I'm a bit stuck here, can you give me a hint" - it's really good at Lean even without access to the Lean compiler.)

Maybe it improves things a bit though. I might try it next time.

can i use this for learning DSA

At some point the context will degrade and the questions might not be useful.

One more interesting test I'd like to do with this skill is. "Is justified true belief knowledge?" and arrive at Gettier through Socratic questioning.

brainrot

[flagged]