copyleftdev

copyleftdev/kahea

Plugin Claude Code

Agent-first HTTP and finite WebSocket testing with deterministic invocation.

copyleftdev/kahea

Plugin Claude Code

Deterministic HTTP and finite WebSocket planning, testing, and policy-gated execution for AI agents.

copyleftdev/kahea

MCP server Claude CodeCodexCursor

MCP server "kahea" as configured in copyleftdev/kahea. Launched with kahea mcp serve --stdio.

copyleftdev/kahea

Skill Claude CodeCodex

Safely use HTTP APIs and finite WebSocket sessions through the Kāhea deterministic invocation kernel. Use when an agent must discover operations from OpenAPI, Postman, HAR, cURL, HTTP files, direct descriptors, websocket-session JSON/YAML, or the supported AsyncAPI 2.6/3.0 WebSocket subset; create and review sealed…

copyleftdev/kahea

MCP server Claude CodeCodexCursor

MCP server "kahea" as configured in copyleftdev/kahea. Launched with https://github.com/copyleftdev/kahea/releases/download/v0.3.1/kahea-mcp-Linux-X6.

copyleftdev/kalshi-kernel

Plugin Claude Code

Unofficial Kalshi interoperability plugins maintained by CopyleftDev.

copyleftdev/kalshi-kernel

Plugin Claude Code

Unofficial safety-focused MCP boundary for Kalshi market and trading workflows.

copyleftdev/kalshi-kernel

MCP server Claude CodeCodexCursor +2

MCP server "kalshi-kernel" as configured in copyleftdev/kalshi-kernel. Launched with kalshi-kernel. Needs 1 environment variable to run.

copyleftdev/kalshi-kernel

Skill Claude CodeCodex

Set up, verify, or troubleshoot the local Kalshi Kernel MCP server in paper mode. Use when the user asks to install or connect Kalshi Kernel.