Problem-solving strategies for continuity in real analysis. Trigger phrases: "problem-solving strategies for continuity in real analysis".
원문 언어: 영어
메뉴
이 저장소의 skills
SkillsMP는 DojoGenesis/plugins에서 352개의 skill을 수집했습니다. skill을 열어 소스와 세부 정보를 확인하세요.
DojoGenesis/plugins수집된 skill 352개 중 40개를 표시합니다.
Problem-solving strategies for continuity in real analysis. Trigger phrases: "problem-solving strategies for continuity in real analysis".
원문 언어: 영어
Problem-solving strategies for contour integrals in complex analysis. Trigger phrases: "problem-solving strategies for contour integrals in complex analysis".
원문 언어: 영어
Problem-solving strategies for convergence in real analysis. Trigger phrases: "problem-solving strategies for convergence in real analysis".
원문 언어: 영어
Problem-solving strategies for convex optimization in optimization. Trigger phrases: "problem-solving strategies for convex optimization in optimization".
원문 언어: 영어
Scans Cosmos SDK blockchain modules and CosmWasm contracts for consensus-critical vulnerabilities — chain halts, fund loss, state divergence. 25 core + 16 IBC + 10 EVM + 3 CosmWasm patterns. Use when auditing custom x/ modules, reviewing IBC integrations, or…
원문 언어: 영어
>. Trigger phrases: "invoke this skill".
원문 언어: 영어
Use when the user explicitly asks for a SKILL to create a worktree. If the user does not mention "skill" or explicitly request skill invocation, do NOT trigger this. Only use when user says things like "use a skill to create a worktree" or "invoke the…
원문 언어: 영어
Schedule reminders and recurring tasks. Trigger phrases: "schedule reminders and recurring tasks".
원문 언어: 영어
Configure Crush settings including providers, LSPs, MCPs, skills, permissions, and behavior options. Use when the user needs help with crush.json configuration, setting up providers, configuring LSPs, adding MCP servers, or changing Crush behavior. Trigger…
원문 언어: 영어
Extracts protocol message flow from source code, RFCs, academic papers, pseudocode, informal prose, ProVerif (.pv), or Tamarin (.spthy) models and generates Mermaid sequenceDiagrams with cryptographic annotations. Use when diagramming a crypto protocol,…
원문 언어: 영어
>. Trigger phrases: "invoke this skill".
원문 언어: 영어
DeepCode integration - automated code generation from papers and text requirements. Trigger phrases: "deepcode integration - automated code generation from papers and text requirements".
원문 언어: 영어
>-. Trigger phrases: "invoke this skill".
원문 언어: 영어
Creates devcontainers with Claude Code, language-specific tooling (Python/Node/Rust/Go), and persistent volumes. Use when adding devcontainer support to a project, setting up isolated development environments, or configuring sandboxed Claude Code workspaces.…
원문 언어: 영어
>. Trigger phrases: "invoke this skill".
원문 언어: 영어
>. Trigger phrases: "invoke this skill".
원문 언어: 영어
Annotates codebases with dimensional analysis comments documenting units, dimensions, and decimal scaling. Use when someone asks to annotate units in a codebase, perform a dimensional analysis, or find vulnerabilities in a DeFi protocol, offchain code, or…
원문 언어: 영어
Comprehensive document creation, editing, and analysis with support for tracked changes, comments, formatting preservation, and text extraction. When Claude needs to work with professional documents (.docx files) for: (1) Creating new documents, (2) Modifying…
원문 언어: 영어
Provides expertise for analyzing DWARF debug files and understanding the DWARF debug format/standard (v3-v5). Triggers when understanding DWARF information, interacting with DWARF files, answering DWARF-related questions, or working with code that parses…
원문 언어: 영어
Problem-solving strategies for eigenvalues in linear algebra. Trigger phrases: "problem-solving strategies for eigenvalues in linear algebra".
원문 언어: 영어
25 advanced engineering agent skills and plugins for Claude Code, Codex, Gemini CLI, Cursor, OpenClaw. Agent design, RAG, MCP servers, CI/CD, database design, observability, security auditing, release management, platform ops. Trigger phrases: "25 advanced…
원문 언어: 영어
23 engineering agent skills and plugins for Claude Code, Codex, Gemini CLI, Cursor, OpenClaw, and 6 more tools. Architecture, frontend, backend, QA, DevOps, security, AI/ML, data engineering, Playwright, Stripe, AWS, MS365. 30+ Python tools (stdlib-only).…
원문 언어: 영어
Problem-solving strategies for entropy in information theory. Trigger phrases: "problem-solving strategies for entropy in information theory".
원문 언어: 영어
Analyzes smart contract codebases to identify state-changing entry points for security auditing. Detects externally callable functions that modify state, categorizes them by access level (public, admin, role-restricted, contract-only), and generates…
원문 언어: 영어
Query and invoke tools on MCP servers using fastmcp list and fastmcp call. Use when you need to discover what tools a server offers, call tools, or integrate MCP servers into workflows. Trigger phrases: "query and invoke tools on mcp servers using fastmcp…
원문 언어: 영어
Problem-solving strategies for fields in abstract algebra. Trigger phrases: "problem-solving strategies for fields in abstract algebra".
원문 언어: 영어
Financial analyst agent skill and plugin for Claude Code, Codex, Gemini CLI, Cursor, OpenClaw. Ratio analysis, DCF valuation, budget variance, rolling forecasts. 4 Python tools (stdlib-only). Trigger phrases: "financial analyst agent skill and plugin for…
원문 언어: 영어
Scans Android APKs for Firebase security misconfigurations including open databases, storage buckets, authentication issues, and exposed cloud functions. Use when analyzing APK files for Firebase vulnerabilities, performing mobile app security audits, or…
원문 언어: 영어
Problem-solving strategies for first order odes in odes pdes. Trigger phrases: "problem-solving strategies for first order odes in odes pdes".
원문 언어: 영어
Systematically verifies suspected security bugs to eliminate false positives. Produces TRUE POSITIVE or FALSE POSITIVE verdicts with documented evidence for each bug. Trigger phrases: "systematically verifies suspected security bugs to eliminate false…
원문 언어: 영어
>. Trigger phrases: "invoke this skill".
원문 언어: 영어
>. Trigger phrases: "invoke this skill".
원문 언어: 영어
Graph-informed mutation testing triage. Parses codebases with Trailmark, runs mutation testing and necessist, then uses survived mutants, unnecessary test statements, and call graph data to identify false positives, missing test coverage, and fuzzing targets.…
원문 언어: 영어
Enforces authenticated gh CLI workflows over unauthenticated curl/WebFetch patterns. Use when working with GitHub URLs, API access, pull requests, or issues. Trigger phrases: "enforces authenticated gh cli workflows over unauthenticated curl/webfetch…
원문 언어: 영어
Safely analyzes and cleans up local git branches and worktrees by categorizing them as merged, squash-merged, superseded, or active work. Trigger phrases: "safely analyzes and cleans up local git branches and worktrees by categorizing them as merged,…
원문 언어: 영어
Interact with GitHub using the `gh` CLI. Use `gh issue`, `gh pr`, `gh run`, and `gh api` for issues, PRs, CI runs, and advanced queries. Trigger phrases: "interact with github using the `gh` cli".
원문 언어: 영어
Problem-solving strategies for gradient methods in optimization. Trigger phrases: "problem-solving strategies for gradient methods in optimization".
원문 언어: 영어
Problem-solving strategies for graph algorithms in graph number theory. Trigger phrases: "problem-solving strategies for graph algorithms in graph number theory".
원문 언어: 영어
>. Trigger phrases: "invoke this skill".
원문 언어: 영어
Problem-solving strategies for groups in abstract algebra. Trigger phrases: "problem-solving strategies for groups in abstract algebra".
원문 언어: 영어