Miden specific skills for user's agent

[greenhat]

Moved from slack.

https://agentskills.io/
Agent skills adoption is growing every day and it emerges as a standard that every agent will support.

We're not pushing an AI onto the user. It's a bunch of MD files explaining stuff in a predefined folder. IF the developer runs an agent, it gets taken into the agent's context IF the agent decides so.

Miden project template

Skills can be defined on the project level.
We could put the following skills in the Miden project template:

Miden-fundamentals
Miden-contract-best-practices
Miden-cli-usage
Miden-testing (how to use Mockchain to test Miden contracts)

Updating the skills

We need to think about updating the skills at the user's project after we make any changes in them. It seems that cargo-miden is best suited to update the project-level skills. It's not clear to me when the update should happen. As soon as we detect that a new skill version is available, we should ask the user to update it.
Alternatively, we could implement skill updater separately and invoke it on midenup update.

AGENTS.md

https://agents.md/ is a cross-agent thing. We might want to add project-level AGENTS.md as well. It should be short and describe the structure and introduce commands to run tests, etc. Like a README but for agents.

@Keinberger @bitwalker @otrho @bobbinth

[Keinberger]

I created 0xMiden/project-template#15 to track this on the Rust project template repository directly.