docs: link to crates

Signed-off-by: David Dal Busco <david.dalbusco@outlook.com>

Author: peterpeterparker

docs/examples/functions/rust/assertions.mdx

@@ -3,6 +3,7 @@ title: Rust Assertions Example
 description: An example demonstrating how to write custom assertions in Rust for Juno serverless functions.
 keywords: [rust, assertion, serverless, juno, satellite, example]
 sidebar_label: Assertions
+
 ---
 
 # Rust Assertions Example
@@ -213,3 +214,13 @@ It’s a great reference for more advanced setups and multi-collection coordinat
 - [CLI Reference](../../../reference/cli)
 - [Configuration Reference](../../../reference/configuration.mdx)
 - [Datastore Collections](../../../build/datastore/collections.md)
+
+---
+
+## Crate Docs
+
+These crates are used to build and extend serverless functions in Rust with Juno:
+
+- [junobuild-satellite](https://docs.rs/junobuild-satellite): Core features and runtime for building a Satellite in Rust, including hooks, assertions, and datastore integration.
+- [junobuild-macros](https://docs.rs/junobuild-macros): Procedural macros for declaratively attaching hooks and assertions (e.g., `#[assert_set_doc]`, `#[on_delete_doc]`).
+- [junobuild-utils](https://docs.rs/junobuild-utils): Utility helpers for working with documents, including data encoding, decoding, and assertion context handling.