Chiasmus is an MCP server that gives language models access to formal verification
Collection of specialised Claude Code agents

A Neovim plugin to integrate Gemini CLI well (+ Qwen-code now)
Go SDK for Anthropic Claude Code CLI – unofficial Claude Code Go agent SDK
Reusable agent skills for end-to-end software delivery, from requirements and implementation to review, testing, and release.
Skills for your skills. Create, test, audit, package, and visualize Agent Skill libraries—locally.

Orchestrate multiple coding agents from desktop and mobile
Universal Claude Code workflow plugin with agents, skills, hooks, and commands
Open-source local workbench for multi-agent software development.
Official Qt AI engineering skills for Claude Code, Codex, Copilot, Gemini,and other AI coding tools
Multi-agent orchestration for Claude Code — decompose tasks, coordinate agents, visualize everything in a rich terminal UI
Multi-agent orchestration for Claude Code. Persistent memory, tasks, rules, and skills that make AI agents actually coordinate.
AI Agent Skills for idiomatic, production-ready Go code, distilled from Google, Uber, Community
A free, open-source coding agent inside VS Code.
Teams-first Multi-agent orchestration for Claude Code
Agent-SDK without CLI dependencies, as an alternative to claude-agent-sdk, completely open source
The graph based agentic IDE
14MB ACP-Rust Agent, Claude Code Plugin compatible, Dynamic Workflow, Goal, Artifacts, Free Web Search, full feature and better support!
Open-Source Platform for Subagents and Agent Teams. Long-running, collaborative, proactive.
Pluggable role definitions for AI coding agents — one command turns Claude Code / Cursor / OpenCode / Codex into a specialized professional

⌥ 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
Provider-neutral control plane for durable-state agent swarms: subprocess workers, leases, artifacts, memory, and deterministic stitching.