logika
claudecodexClassical formal logic from G. Chelpanov's textbook: concepts, judgments, syllogisms, induction, fallacies, laws of thought.
1 skill · 1 command
Plugin marketplace
Pavel Rykov's agent-skills marketplace for Claude Code, OpenAI Codex, Cursor, Kimi Code CLI and other agents.
Add this marketplace
Then install any plugin below by name — each page has its exact command.
Classical formal logic from G. Chelpanov's textbook: concepts, judgments, syllogisms, induction, fallacies, laws of thought.
1 skill · 1 command
Cross-review code with several console code agents at once: Claude Code, Codex, Coddy, Cursor Agent, Devin, OpenCode and others review the same brief in parallel and blind to each other, then the orchestrating agent verifies every finding against the code and decides alone what matters and what to fix. Linux, macOS and Windows; reviewers chosen once per agent, for one project or for all of them.
1 skill
Use when the user asks to create, draw, render, or update a technical diagram, architecture scheme, process flow, lifecycle, or system map from supplied information and expects editable source plus a finished image.
1 skill
Prepare a Linux server with NVIDIA or Intel Arc GPUs for LLM and neural-network workloads: NVIDIA driver + CUDA from the official repo or the in-tree Intel i915/xe driver with distro firmware, Docker Engine with verified GPU access (NVIDIA Container Toolkit or /dev/dri passthrough) as the mandatory base, staged verification gates for both vendors, optional docker-compose presets for vLLM, Infinity, OpenWebUI and Ollama plus Intel Arc stacks (llama.cpp SYCL/Vulkan, Ollama, OpenVINO, vLLM), GPU power limits persisted via systemd, case fans driven by GPU temperature and Intel Arc idle-power fixes (ASPM).
1 skill
Generate secure MikroTik RouterOS v7 configs from plain language, or review and harden an existing /export. Hardening baseline, four presets, per-model device reference, offline validator.
1 skill
Search the web, read the clean text of a page by URL, crawl a few pages of one site and search Telegram channels through the NeuralDeep Search API with an sk- key. A standard-library Python client takes the key from --api-key, NEURALDEEP_SEARCH_API_KEY or NEURALDEEP_API_KEY, prints compact text or the raw JSON and exits with meaningful codes.
1 skill
Test Open Graph, Twitter Card and social-link meta tags fully offline: feed it a URL (localhost works) or an HTML file and get a report with mocked preview cards for Telegram, X/Twitter, Facebook, Discord, Slack, WhatsApp, LinkedIn, Reddit and iMessage plus rule-violation findings. No third-party API.
1 skill
Drive a remote Windows machine over RDP from an AI agent: the RDP client runs on an isolated Xvfb display, the operator watches the same screen in a VNC window and can take over by hand, the session survives between agent turns, and lock screens are recovered by an NLA reconnect instead of typing the password.
1 skill
Fix a bug with a reproduction test first, then the fix, then the full suite, then a short report. Requires a clear bug description.
1 skill
Add a feature strictly by BDD: plan, red tests, green implementation, full suite, docs and examples, linter at the end. Requires a clear feature description.
1 skill
Use when the user invokes /rpa-gen-rules or asks to create, refresh, audit, or synchronize project instructions such as root AGENTS.md, Cursor .cursor/rules, or Claude Code .claude/rules, especially when existing rule trees have drifted.
1 skill
Warm up context on a repository: optionally git pull first, then study code, docs and tests, set up the dev environment, run tests, write a short report. No extra brief required.
1 skill
Capture clean, repeatable screenshots of a GUI desktop app (IDEs, browsers, native apps) on an isolated Xvfb display: drive it with python-Xlib, capture with ImageMagick, annotate with a highlight box, crop or arrow. Never touches the operator's live desktop.
1 skill
Read-only discovery for a fleet harness repository: a POSIX probe sent over ssh collects OS, kernel, CPU, RAM, disks, Docker, NVIDIA and Intel Arc GPUs, addresses, ports, tunnels and DNAT rules; discover.py turns it into the host card after comparing it with the card, render_index.py validates every card and regenerates the host index and an optional self-contained network map.
1 skill
Check whether a host or a whole namespace of a fleet harness repository is healthy, read-only: a POSIX pass over boot history, clock, units, disks, OOM, containers, resolvers, ports, NVIDIA and Intel Arc GPUs and PCIe AER, drift against the host card, stacks against the mirror, and functional probes of every service, rolled up into healthy, warming up, degraded, broken or unreachable.
1 skill
Onboard a server into a fleet harness repository: reach it over ssh with a confirmed host key, discover it read-only with server-discovery, place it in a namespace, write the host card and README, mirror its compose stacks and system configs, add it to the namespace Topology, regenerate the index, and hand a box with an incomplete GPU stack to gpu-server-setup once the user agrees.
1 skill
Estimate the floor (self-) cost of a self-hosted LLM token: electricity + hardware amortization, measured on the server. Not the market API price.
1 skill
Shows how many plugins this repo ships, and links here.