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

Skills, prompts, and instructions for building AI agents on top of Dynatrace production context

Gridgeist turns product intent into a rigorous visual system—without the generic AI SaaS aftertaste.

Claude Code skill for reviewing and designing code based on Clean Architecture principles (Dependency Rule, Layer Structure, SOLID)

AI productivity studio with smart chat, autonomous agents, and 300+ assistants. Unified access to frontier LLMs

LLM-maintained personal knowledge base for Obsidian. Based on Andrej Karpathy's LLM Wiki pattern.

Product-design, conversion & behavioral-science principles for SaaS

⚡️ A curated library of Agent Skills focused on Jetpack Compose performance.

A skill to stop your coding agent from burying the answer. ADHD-friendly output.

MCP Toolbox for Databases is an open source MCP server for databases.

AI-powered reverse engineering assistant that bridges IDA Pro with language models through MCP.

General-purpose Playwright automation for coding agents

Mission control for your AI agents

An open, curated collection of Agent Skills for scientific research — clone it, use it, extend it!

An ML engineering plugin for your coding agents.

An MCP server that lets LLM agents play Civilization VI.

An open standard for capturing the WHY in git history

An AI agent skill that turns "start + days" into a road trip you can actually drive.

AI-powered software development system that automates the entire lifecycle from requirements analysis to code delivery through specialized agent collaboration.

The AI security agent guards your code.

⌥ Coding agent with the IDE wired in

Annotate and review coding agent plans and code diffs visually, share with your team, send feedback to agents with one click.

Framework for AI agents to build and maintain a digital brain through Obsidian wiki

Terraform & OpenTofu Skill for AI Agents - testing, modules, CI/CD, and production patterns