From a72243beb46b22952c2ed61b6cdf512335d66af5 Mon Sep 17 00:00:00 2001 From: Ralf Anton Beier Date: Sun, 15 Mar 2026 08:28:45 +0100 Subject: [PATCH] docs: update org profile for current repo landscape - Add Safety-Critical Systems section (gale, spar, rivet) - Add rules_lean to Build & Verification - Replace archived thrum and wasi-mcp with template-mcp-server and timedate-mcp - Add bazel-file-ops-component to Developer Tools - Update Documentation nav button to point to pulseengine.eu Co-Authored-By: Claude Opus 4.6 (1M context) --- profile/README.md | 19 ++++++++++++++++--- 1 file changed, 16 insertions(+), 3 deletions(-) diff --git a/profile/README.md b/profile/README.md index 8ad1051..ea86052 100644 --- a/profile/README.md +++ b/profile/README.md @@ -13,7 +13,7 @@   -[   Repositories   ](https://github.com/orgs/pulseengine/repositories)    [   Documentation   ](https://docs.rs/pulseengine-mcp-protocol)    [   Examples   ](https://github.com/pulseengine/wasm-component-examples) +[   Repositories   ](https://github.com/orgs/pulseengine/repositories)    [   Website   ](https://pulseengine.eu)    [   Examples   ](https://github.com/pulseengine/wasm-component-examples)
Kiln @@ -110,6 +110,17 @@ Sigstore keyless signing for CI/CD. SLSA policy enforcement with per-tool versio  
+Safety-Critical Systems + +  + +- [**gale**](https://github.com/pulseengine/gale) — Formally verified Rust port of Zephyr RTOS kernel primitives for ASIL-D, dual-track Verus and Rocq verification +- [**spar**](https://github.com/pulseengine/spar) — AADL v2.2 architecture analysis toolchain — parser, semantic model, 30+ analyses, and LSP server +- [**rivet**](https://github.com/pulseengine/rivet) — Schema-driven SDLC artifact manager for requirements traceability and safety compliance + +
+ +
Build & Verification   @@ -118,6 +129,7 @@ Sigstore keyless signing for CI/CD. SLSA policy enforcement with per-tool versio - [**rules_rocq_rust**](https://github.com/pulseengine/rules_rocq_rust) — Bazel rules for Rocq theorem proving and Rust formal verification with hermetic Nix toolchains - [**rules_verus**](https://github.com/pulseengine/rules_verus) — Bazel rules for Verus Rust verification - [**rules_moonbit**](https://github.com/pulseengine/rules_moonbit) — Bazel rules for MoonBit with hermetic toolchain support +- [**rules_lean**](https://github.com/pulseengine/rules_lean) — Bazel rules for Lean 4 with Mathlib and Aeneas integration
@@ -127,7 +139,8 @@ Sigstore keyless signing for CI/CD. SLSA policy enforcement with per-tool versio   - [**mcp**](https://github.com/pulseengine/mcp) — Rust framework for building Model Context Protocol servers and clients, published to crates.io -- [**wasi-mcp**](https://github.com/pulseengine/wasi-mcp) — Proposed WASI API for Model Context Protocol, targeting WASI 0.3 standardization +- [**template-mcp-server**](https://github.com/pulseengine/template-mcp-server) — Scaffolding template for creating MCP servers in Rust +- [**timedate-mcp**](https://github.com/pulseengine/timedate-mcp) — MCP server for time and date operations with timezone support, published to npm @@ -136,9 +149,9 @@ Sigstore keyless signing for CI/CD. SLSA policy enforcement with per-tool versio   -- [**thrum**](https://github.com/pulseengine/thrum) — Gate-based pipeline orchestrator for autonomous AI-driven development - [**temper**](https://github.com/pulseengine/temper) — GitHub App that hardens repositories to organizational standards - [**wasm-component-examples**](https://github.com/pulseengine/wasm-component-examples) — Working examples for Component Model development in C, C++, Go, and Rust +- [**bazel-file-ops-component**](https://github.com/pulseengine/bazel-file-ops-component) — WebAssembly-based cross-platform file operations for Bazel builds - [**moonbit_checksum_updater**](https://github.com/pulseengine/moonbit_checksum_updater) — Native MoonBit checksum management with GitHub API integration