Browse AI Agent Skills and MCP Servers

PeopleInSpace

Kotlin Multiplatform sample with SwiftUI, Jetpack Compose, Compose for Wear, Compose for Desktop, and Compose for Web clients along with Ktor backend.

androidcompose-desktopcompose-ios

Showing 1-4 of 4 skills

Sort

Quality Stars Recent Installs

compose-multiplatform

+15

★3.3k55

wassette

microsoft/wassette

MCP Tool

Wassette: A security-oriented runtime that runs WebAssembly Components via MCP

capabilitiesmcpmcp-serveroci+5

★85955

capsule

mavdol/capsule

MCP Tool

A secure, durable runtime to sandbox AI agent tasks. Run untrusted code in isolated WebAssembly environments.

agentic-workflowai-agentscode-executioncode-interpreter+8

★255

lean-agentic

agenticsorg/lean-agentic

MCP Tool

A hybrid programming language combining Lean4's formal verification with blazing-fast compilation, actor-based agent orchestration, AI-driven optimization, and vector-backed agent memory.

agentic-aileantheorem-proverdependent-types+49

★49