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".
原文の言語: 英語