Linux desktop control over MCP — AT-SPI accessibility tree, multi-compositor window targeting (GNOME, KWin, Hyprland, i3, COSMIC), screencast portal screenshots, and ydotool input synthesis. Wayland-first, X11 best-effort.
A2C-SMCP Rust SDK - Agent, Computer, and Server implementation
A2C-SMCP Computer client for MCP server management
MCP server for computer use & browser automation — screenshot, OCR, click, type, find_text, Chrome/Electron CDP, template matching. macOS, Windows & Android.
Build MCP (Model Context Protocol) servers that run as Internet Computer canisters
CI/CD MCP Server — pipeline status, workflow logs, artifacts, reruns, deployments, and release gates
Seiro MCP is an MCP server focused on spatial computing development. Today it provides tools to safely run visionOS project builds from Codex CLI, supporting autonomous AI-assisted coding workflows.
Core abstractions for building MCP servers on ICP
Computational scrying glass — MCP server for visual computing with embedded Python, SVG rendering, and live web gallery
AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.
Procedural macros for the Icarus SDK - enables automatic MCP tool metadata generation
ICP canister integration with stable memory for persistent MCP servers
No description provided.
No description provided.
No description provided.
No description provided.