Agent Skill: Check academic paper citations for format, queryability, thematic relevance, and semantic accuracy.

Open-source, agent-agnostic RTL formal verification skill library for AI coding agents: JasperGold FPV, SVA, proof optimization, and TCL workflows for Claude Code, Codex, Gemini CLI, and Cursor.

Context engine for large codebases, exposed through MCP. Gives AI coding agents precise repository context; benchmarked at frontier-agent quality with ~25x lower model cost and 45% fewer tokens with semantic search.

Companion products for AI-assisted software work.

13 installable skills for Claude Code, OpenAI Codex, and Hermes, for finding your unknowns before they get expensive: blindspot pass, brainstorms, interviews, references, plans, notes, pitches, a merge quiz, plus a context audit, agent interface design, and progressive disclosure.

SkillOpt is a text-space optimizer that trains reusable natural-language skills for frozen LLM agents through trajectory-driven edits, validation-gated updates, and deployable best_skill.md artifacts.

Persistent Linux workspaces for agentic development.

Publishes localhost services to the agentic web through self-hostable, trustless relays.

The environment engine for agent worktrees - zero-config dep sync + port/DB/compose isolation

Production-ready Git workflow skills, agents, hooks, reviews, releases, and notifications for Claude Code and Codex.

Run Claude Code, Codex & Gemini in parallel on Windows & macOS — git worktree fan-out with atomic hunk adoption, approval gates, reboot-surviving sessions

Headless product design for AI coding agents, backed by a transactional product graph | Design how it works, verify what you ship.

Open-source AI security scanner for Codex, Claude Code, and ACP-compatible coding agents—kept current with OpenAI Codex Security.

Cut AI context cost without trusting the compressor. Every reduction is reversible, byte-exact recoverable, and carries an auditable receipt. Local-first, works through proxy, MCP, SDK, or agent wrapper.

Web Design Studio: free agent skill for distinctive websites, interactive 3D and motion. 28 live examples, art direction and accessible fallbacks. Formerly Cinematic Scroll.

Run a task with AI as a flow of steps you keep, reuse, and refine, not a one-off chat.

Agent skill that removes signs of AI-generated writing from text

Manage multiple AI terminal agents like Claude Code, Codex, OpenCode, and Amp.

Ruler — apply the same rules to all coding agents

Use your favorite coding agent with any model.

AI skills that turns coding agents into UiPath experts.

local-first analytics for AI agent skills

Agent Skill evaluation harness for paired variants, trace artifacts, and runner adapters

A fast codebase indexer and knowledge wiki for AI agents.