Prompt for creating a Solano smart contract in Rust

Structured request (prompt) for AI

Task: Write a smart contract for the Solana blockchain in Rust using the Anchor framework.
Contract goal: A simple counter that can be initialized and incremented.
Requirements:

Must have a Counter account with a count: u64 field.
The initialize function creates and initializes the counter account with a value of 0.
The increment function increments the count value by 1.
Use correct Anchor macros (#[program], #[derive(Accounts)], #[account]).
Specify the necessary dependencies in Cargo.toml (anchor-lang).
Add comments to key sections of the code.
Do not include the actual Program ID; use a placeholder.
Output format: The full code for the lib.rs file and a brief explanation of the structure.

--------------------------------------------------------------

Smart contract listing for the Solana blockchain in Rust

Simple counter on Solana (using Anchor)
This contract allows you to:

Initialize a counter account.
Increment the counter value by 1.
lib.rs (main program file)
rust

use anchor_lang::prelude::*;

declare_id!("YourProgramIdHere11111111111111111111111111111"); // Replace with a real Program ID

#[program]
pub mod counter_program {
use super::*;

pub fn initialize(ctx: Context<Initialize>) -> Result<()> {
let counter = &mut ctx.accounts.counter;
counter.count = 0;
Ok(()) 
} 

pub fn increment(ctx: Context<Increment>) -> Result<()> { 
let counter = &mut ctx.accounts.counter; 
counter.count += 1; 
Ok(())
}
}

#[derive(Accounts)]
pub struct Initialize<'info> {
#[account(init, payer = user, space = 8 + 8)]
pub counter: Account<'info, Counter>,
#[account(mut)]
pub user: Signer<'info>,
pub system_program: Program<'info, System>,
}

#[derive(Accounts)]
pub struct Increment<'info> {
#[account(mut)]
pub counter: Account<'info, Counter>,
}

#[account]
pub struct Counter {
pub count: u64,
}

Notes:
declare_id! - must contain the actual Program ID generated during deployment.
Anchor automatically handles serialization, account security, and interaction with the Solana Runtime.
space = 8 + 8: the first 8 bytes are the Anchor discriminator, the next 8 are the u64 for count.

https://chat.qwen.ai/s/t_e35e992b-f6da-4a30-958c-548368afdbfb?fev=0.1.31

© by Valery Shmelev

------------------------------------------------

Online AI processing: https://chat.qwen.ai/s/t_e35e992b-f6da-4a30-958c-548368afdbfb?fev=0.1.31

https://tgstat.ru/channel/@llmsource

https://my.mail.ru/mail/bestguide/multipost/b400000090ae4100.html
https://my.mail.ru/mail/bestguide/multipost/B100000090AE4100.html
https://my.mail.ru/mail/bestguide/micropost/B500000090AE4100.html