An infinite canvas desktop app for visually managing terminals
Chiasmus is an MCP server that gives language models access to formal verification

Opinionated AI coding agent and dev environment automation for macOS
MCP server for org-mode and org-roam knowledge base management
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.
Streaming music player that finds free music for you

Orchestrate multiple coding agents from desktop and mobile
Open-source local workbench for multi-agent software development.
Connect your agent to the apps you already use - with or without Zapier.
Composable agent runtime with enforced isolation boundaries
Agent Skills for computational materials science -- numerical stability, solvers, meshing, convergence, and simulation workflows.
A skill to stop your coding agent from burying the answer. ADHD-friendly output.

An ML engineering plugin for your coding agents.
Commander, your AI coding commander centre for all you ai coding cli agents
a philosophy for talking to AI agents without getting glazed. one trigger, four meanings. /meow.
the runtime your coding agents live on

⌥ Coding agent with the IDE wired in
Generate production-quality SVG+PNG technical diagrams from natural language. 7 styles, UML support, and AI/Agent workflow patterns.
Framework for AI agents to build and maintain a digital brain through Obsidian wiki
The python library for research and development in NLP, multimodal LLMs, Agents, ML, Knowledge Graphs, and more.

Run AI agents isolated in a macOS user account and sandbox-exec. Configured to run Claude Code, OpenAI Codex, Cursor Agent, Google Gemini.
A composable dev process for agentic coding harnesses, packaged as modular skills. Turbo has sibling editions for Claude Code and Codex.
AI-powered learning coach with spaced repetition with Claude Code - master any knowledge faster with personalized syllabi and progress tracking