added tools list rendering

arewesafetycriticalyet.org/docs/tooling/open-topics.md

@@ -0,0 +1,17 @@
+# Open Topics
+
+This page lists open topics related to Rust tooling for safety critical domains.
+
+- **Fault Injection Tests:**
+
+  No generally applicable tool exists to inject faults in Rust projects during testing.
+
+- **Coding Guideline:**
+
+  No official Rust coding guidelines currently exist, so no tool can enforce them.
+  The Coding Guidelines subcommittee is actively working on defining Rust coding guidelines.
+  If you are interested, check out the [safety-critical-rust-coding-guidelines](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines) repository.
+
+- **Graphical Representation:**
+
+  Missing tools that are capable to represent Rust code in a graphical way (e.g. flow chart).

arewesafetycriticalyet.org/docs/tooling/rfc-tools-review.md

@@ -17,15 +17,15 @@ The tool proposal consists of three main phases:
 
 - **New/Change Path**: 15-day review period including:
   - Tool information checking
-  - Entry creation in [available-tools.yaml]
+  - Entry creation in [available-tools.json]
   - Optional: vendor contact, testing, and user feedback collection
 - **Delete Path**: Review deletion reasoning
 - **Common validation**: Valid requests proceed to PR creation and merge process
 - **PR Process**: Includes remark resolution cycle if needed
 
 ### 3. **Review Complete List (Annually)**
 
-- Task Force Member initiates annual review of tools listed in [available-tools.yaml]
+- Task Force Member initiates annual review of tools listed in [available-tools.json]
 - Tools to review distributed evenly among task force members
 - Evaluation based on:
   - Tool maintenance status
@@ -69,13 +69,13 @@ flowchart TD
     %% New/Change Path
     B4 --> B5{Valid change/<br/>new tool for<br/>safety-critical<br/>Rust projects}
     B5 --> |No| B6[Close Issue with justification]
-    B5 --> |Yes| B7[Fill up new entry in<br/>available-tools.yaml]
+    B5 --> |Yes| B7[Fill up new entry in<br/>available-tools.json]
     B7 --> B8[<strong>Optional:</strong><br/><ul><li>Contact vendor</li><li>Test/Present tool</li><li>Collect user feedback</li></ul>]
 
     %% Delete Path
     B3 --> B12{Valid?}
     B12 --> |No| B6
-    B12 --> |Yes| B13[Delete entry from<br/>available-tools.yaml]
+    B12 --> |Yes| B13[Delete entry from<br/>available-tools.json]
 
     %% PR
     B8 --> B14[See section:<br/>Changes to the Tools List]

arewesafetycriticalyet.org/docs/tooling/statement.md

@@ -5,4 +5,6 @@ position: 1
 
 1. Aggregate community-vetted minimal required tooling package to be able to certify Rust in safety-critical applications.
 2. Provide and maintain a document with a list of the minimal required tools and their development status.
-3. Possibly develop a curricula used for training in safety critical Rust (this is still te be determined of we need a different subcommittee for it).
+3. Possibly develop a curricula used for training in safety critical Rust (this is still te be determined of we need a different subcommittee for it).
+
+See also: [Tools list](./tools-list)

arewesafetycriticalyet.org/docs/tooling/tools-list.mdx

@@ -0,0 +1,16 @@
+---
+position: 3
+---
+
+import ToolsList from '@site/src/components/ToolsList';
+
+# Tools List
+
+This page lists known tools that may be used to develop safety critical Rust code.
+The list is maintained by the subcommittee, and while we try to keep information up to date,
+this list is provided as is without any legal guarantees.
+Please get in touch with the tool authors and vendors **before** starting your project..
+
+If you want to add or update the list, please open an issue on the [safety-critical-rust-consortium](https://github.com/rustfoundation/safety-critical-rust-consortium/issues) repository, or on the Rust Zulip [safety-critical-consortium](https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium) channel.
+
+<ToolsList />