coherentforge/CambiOS

Zero-trust, capability-based Rust microkernel targeting formal verification. Tri-arch (x86_64 / AArch64 / RISC-V). Sovereign and generative: no telemetry, user owns keys and data. Early-stage — see STATUS.md. Inspired by seL4, Hubris, and Redox.

Open on GitHub

10Stars on the repository

4Mods indexed here, across every type

1mo agoLast push, which is what freshness is scored on

AGPL-3.0Licence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

rust-analyzer

coherentforge/CambiOS

MCP server Claude CodeCodexCursor +2

MCP server "rust-analyzer" as configured in coherentforge/CambiOS. Runs mcp_rust_analyzer with /Users/jasonricca/Library/CloudStorage/OneDrive-Personal/Synthesis/coding/Tooling/mcp-rust-analyzer/.venv/bin/python3. Needs 1 environment variable to run.

10 1mo ago A tokens not measured AGPL-3.0