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.
Run Claude Code, Codex & Gemini in parallel on Windows & macOS — git worktree fan-out with atomic hunk adoption, approval gates, reboot-surviving sessions
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.
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.
local-first analytics for AI agent skills
Agent Skill evaluation harness for paired variants, trace artifacts, and runner adapters
Agent-first CLI for fal.ai — search, run, and manage 1000+ generative AI models
SEO Landing: Give your AI coding agent the capabilities of a senior Technical SEO engineer. An agent skill for building high-performance, technically optimized SEO landing pages. Turn an AI coding agent into a technical SEO specialist. Build and improve landing pages with: • 🚀 100/100 Google PageSpeed target • ⚡ Core Web Vitals optimization
30 sec to give your AI agents persistent memory. Reduce 90% token consumption while also maintaining quality.
Persistent memory for AI coding agents
Causal memory layer for AI agents — MCP server that records decision→outcome relationships. Survives compaction.
A pre-execution guard for AI coding agents. It blocks destructive Git and file system commands, plus common attempts to access sensitive files, before a tool call runs. Supports Amp Code, Antigravity CLI, Claude Code, Codex, Cursor, Gemini CLI, GitHub Copilot CLI, Grok Build, Hermes Agent, Kimi Code, OpenClaw, OpenCode, and Pi.

Convert AI coding agent sessions (Claude Code, Cursor, Codex, Gemini, OpenCode, Kimi Code, Hermes) into self-contained, embeddable HTML replays

Multi-modal Generative Media Skills for AI Agents (Claude Code, Cursor, Gemini CLI). High-quality image, video, and audio generation powered by muapi.ai.
Persistent memory for AI coding agents: automatic capture, explainable recall, knowledge consolidation, privacy controls, and portable offline storage. One Python file, zero dependencies.
⚡️ 10x - Up to 20x faster AI coding with multi-step Superpowers. Open-source agent with smart model routing, BYOK, fully self-hosted.
Research-first design skill for AI agents. 150K+ real app screens and flows via Refero MCP.

let any ai agent use the local browser
Next.js Development for Coding Agent
The UI5 MCP server improves the developer experience when working with agentic AI and the UI5 framework.