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

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

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 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

The python library for research and development in NLP, multimodal LLMs, Agents, ML, Knowledge Graphs, and more.

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.