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

A Neovim plugin to integrate Gemini CLI well (+ Qwen-code now)
The awesome collection of OpenClaw Skills. Formerly known as Moltbot, originally Clawdbot.
Learn what AI writes, not just accept it. A Claude Code skill that turns AI-generated code into educational deep dives.
An MCP server allowing LLMs to interact with Ansys/AGI STK - Digital Mission Engineering Software
Teams-first Multi-agent orchestration for Claude Code

💻 vibe coding 101|The first course for AI-native product builders.
MCP Toolbox for Databases is an open source MCP server for databases.
Bulk port forwarding Kubernetes services for local development.
Universal motion design principles for AI agents — timing, easing, choreography, and Disney animation principles adapted for UI
My Nix system configs!
Local-first CLI for agent skills, browser automation, knowledge bases, external CLIs, and terminal AI chat.
An MCP server that lets LLM agents play Civilization VI.
Bring Your Own Browser — let your AI agent use the Chrome you already have open
Make Claude talk like a human: 17 installable output styles for Claude Code, built on credited methodologies
A multi-model AI agent desktop client — connect any AI provider, extend with MCP & skills, control from your phone. Built with Electron + Next.js.
AG2 (formerly AutoGen): The Open-Source AgentOS.Join us at: https://discord.gg/sNGSwQME3x
Fulling is an AI-powered Full-stack Engineer Agent. Built with Next.js, Claude, shadcn/ui, and PostgreSQL. Use kubernetes as infra.
A Claude Code skill that 10x's your effective context window by dispatching tasks to background AI workers.
Evaluate agent skill quality. Find the weakest link. Fix it. Prove it worked.
Publish HTML, Markdown and static mini apps to shareable Cloudflare Pages URLs from the terminal or coding agents.
An Orchestrate multiple coding agent desktop app
📊 Browse your AI coding spend in the terminal — OpenCode, Claude Code, Codex & friends
Shared config, skills, and update scripts for Claude Code, Codex, and Gemini CLI