#capability-security

2 posts

MCP Server 3

The Estate's primary MCP server — GitHub, GitLab, and 115+ capability cartridges. Formally verified BoJ-server-ABI in Idris2 0.8.0 (%default...

JavaScript MPL-2.0 Updated 1w ago

hyperpolymath 0 0

MCP Server 10.3k

Astrid is a portable, capability-secure operating system for composable software.

Rust Apache-2.0 Updated 1w ago

astrid-runtime 0 0