Full computer-use for AI agents. Self-learning workflows. Native macOS. No screenshots required.

Composable computational-science methodology skills for AI research agents — pre-registration over TDD. A science-domain reimplementation of Superpowers.

Chiasmus is an MCP server that gives language models access to formal verification

The secure, validated skill registry for professional AI coding agents. Extend Antigravity, Claude Code, Cursor, Copilot and more with absolute confidence.

Universal Claude Code workflow plugin with agents, skills, hooks, and commands

Open-source local workbench for multi-agent software development.

AI Agent Skills for idiomatic, production-ready Go code, distilled from Google, Uber, Community

Agent Skills for computational materials science -- numerical stability, solvers, meshing, convergence, and simulation workflows.

An ML engineering plugin for your coding agents.

An MCP (Model Context Protocol) server that enables AI assistants to control iOS Simulator. Seamlessly integrates with Claude Desktop, Cursor, Claude Code, and other MCP-compatible clients.

Pluggable role definitions for AI coding agents — one command turns Claude Code / Cursor / OpenCode / Codex into a specialized professional

The AI security agent guards your code.

⌥ Coding agent with the IDE wired in

Portable AI agent orchestration with mechanical protocol enforcement. 186 agents, zero runtime dependencies.

TAKT Agent Koordination Topology - Define how AI agents coordinate, where humans intervene, and what gets recorded — in YAML

Local first, desktop companion platform with animated pets, plugin SDK and coding-agent integrations.

Provider-neutral control plane for durable-state agent swarms: subprocess workers, leases, artifacts, memory, and deterministic stitching.

Run AI agents isolated in a macOS user account and sandbox-exec. Configured to run Claude Code, OpenAI Codex, Cursor Agent, Google Gemini.

🔥 Lightweight, Airbrake/Sentry-compatible, PostgreSQL-based Open Source Error Catcher

Rust MCP server for comprehensive code intelligence - 90 tools, 32 languages, security scanning, call graphs, and more

Know what to fix next — local .pm governance skill pack for AI coding agents (Spec Kit–inspired).

Semantic code intelligence MCP server for Claude Code - project maps, symbol search, impact analysis, and more

Agent coordination protocol — declare intents, lock symbols, detect conflicts before code is written

Web, Desktop & Mobile client for Codex, Claude Code, OpenCode, Kimi, Augment Code, Qwen, fully end-to-end encrypted