docs: update sdk and cli reference

Author: MarcosNicolau

docs/3_guides/1.3_SDK_api_reference_aggregation.md

@@ -4,7 +4,7 @@
 
 ### `is_proof_verified_in_aggregation_mode`
 
-Checks if the proof has been verified with Aligned and is included in the batch on-chain.
+Checks if the proof has been verified with Aligned Aggregation Mode.
 
 ```rust
 pub async fn is_proof_verified_in_aggregation_mode(

docs/3_guides/9_aligned_cli.md

@@ -355,11 +355,11 @@ aligned get-user-amount-of-queued-proofs  \
 
 #### Description:
 
-Verifies if your proof has been verified by the `ProofAggregationService`.
+Verifies if your proof has been verified by the `Aggregation Mode`.
 
 #### Command:
 
-`cargo run verify-agg-proof [OPTIONS] --proving_system <proving_system>`
+`aligned verify-agg-proof [OPTIONS] --proving_system <proving_system>`
 
 #### Options: