review
145Command
Part of lean4
Read-only code review of Lean proofs.
2,886 tagged codex, measured the same way as everything else here.
Browse within: gemini 170opencode 88gemini-cli 76academic-research 61coding-agent 60ai-assistant 58antigravity 53curriculum 51code-quality 49knowledge-graph 48ccusage 47agentic-workflow 46ai-coding-agent 46ai-coding-agents 46
Command
Part of lean4
Read-only code review of Lean proofs.
Command
Part of claude
Second-model review. Picks an auditor (codex/gemini/opencode/aider/copilot), excludes the caller, writes a prompt to paste, reads the response back. Usage: /cross-audit [--with | list | compare].
Command
Part of claude
Adversarial multi-angle critique. All three auditors fire in parallel (codex=technical, gemini=strategic, claude=ux). Counter-args ranked by rebuttal survival score, not raw severity. Usage: /cross-critique [--with | list | compare].
Command
Part of claude
Two-phase multi-model research. Phase A fans codex+gemini in parallel (benchmarks + citations angles); Phase B synthesises via fresh Claude session. Usage: /cross-research [--with | list | compare].
Michael-OvO/obsidian-knowledge-agent
Command
Part of obsidian-knowledge
Show everything the Obsidian Knowledge Agent can do, with every command and an example.
Michael-OvO/obsidian-knowledge-agent
Command
Part of obsidian-knowledge
Turn material into notes at the right altitude — a quick capture, a small collection, or a full build.
Michael-OvO/obsidian-knowledge-agent
Command
Part of obsidian-knowledge
Set up this folder as a knowledge vault — adapts to an empty folder or an existing vault.
Command
Part of nanostack
Update nanostack to the latest version.
agentii-ai/agentii-investment-intelligence
Command
Canonical reference for invoking agentii-investment-intelligence slash commands across Claude Code, OpenCode, Goose, Codex, OpenClaw, and Claude Cowork. Frozen at v1.0 per the mode-addressability syntax + Round 4 Q12.
agentii-ai/agentii-investment-intelligence
Command
Part of business-intelligence
Operational KPI dashboard — headcount trends, utilization rates, backlog/book-to-bill.
agentii-ai/agentii-investment-intelligence
Command
Part of equity-research-core
Business model classification and structural analysis — product/service/platform, distribution channels, revenue composition, market sizing.
Command Claude Code
Release a new version of recall.
Command
Command "aivo_guide" from yuanchuan/aivo, covering aivo — complete usage guide, global usage, providers & keys — aivo keys, account — aivo account and models & aliases.
Command
Part of open-codebase-index
Trace callers, callees, or paths using the call graph.
Command
Part of open-codebase-index
Index the codebase for semantic search.
Command
Part of open-codebase-index
Quickly find likely code locations without returning full code.
Command Claude Code
Review factory performance and propose deliberate constraint changes - tighten where a gate let something through, loosen where a class of change has been green long enough.
Command Claude Code
Factory control room. Show queue state, review bottleneck, and what needs a human right now.
Command
Part of app-mockup-kit
Render deterministic browser or device mockups from screenshots using the local TypeScript CLI in this plugin.
Command
First-time setup wizard — detects daemon/USB/firmware and walks you through whatever's missing.
Command
Push the name-card sleep frame + put the device into deep sleep.
Command
Provision Wi-Fi credentials to the ai-desk-card device (one-time, via current transport).
Command
Detect what the system actually does by reading the code, and map the security-relevant findings (login, uploads, payments, data exposure, and so on) with the evidence later phases need. Scans the whole project, named files, or a focused scope.
Command
Apply the defense plan's fixes to the code, safely and one at a time, then record what was applied and what is left. Reads the plan and the charter, then hardens every fix, the fixes, files, or directories you name, or a priority you choose.
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: