'proven' 검색 결과

Review source code with Strix to trace data flow and authorization checks, then test suspected vulnerabilities in a running environment. Receive proven findings with exploit examples and code locations, while keeping unconfirmed observations clearly identified.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Reviewing a repository for security vulnerabilities
• Checking authorization logic in a specific service
• Reviewing security risks introduced by a branch

Assess an application against OWASP Top 10:2025 risk categories using Strix. Get findings backed by working exploit examples, organized by category, with clear explanations of what was tested and what remains unassessed.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Assessing an app against OWASP Top 10:2025
• Testing access controls across users and tenants
• Organizing proven vulnerabilities by risk category

Breaks long-running goals into small, verifiable steps, tracks progress, and records evidence from actual operation. Checkpoints preserve what has been proven so work can resume after interruptions and continue toward explicit completion criteria.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Managing a long-running development goal
• Resuming work after an interruption
• Recording evidence for completion criteria

Retrieve pages blocked by web access filters, read Chinese and social platforms through dedicated tools, and inspect archived copies with their dates. Escalate to browser interaction when simpler extraction methods cannot provide the needed content.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Read a page that returns a 403 error
• Retrieve posts from Chinese platforms
• Check dated archives of unavailable pages

Process paired-end 16S sequencing reads in QIIME 2 to produce ASVs, distinct sequence variants, and taxonomic assignments. Check input files, primer settings, and read retention while preserving artifacts that record the processing history.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Validate paired FASTQ files and sample metadata
• Remove primers and denoise reads with DADA2
• Assign taxonomy using a compatible classifier

Analyze single-cell RNA-seq data with Scanpy, from quality checks and normalization to cell grouping, exploratory marker genes, and plots. Bundled scripts also prepare sample-level count summaries and support conversion of R objects to h5ad.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Check data quality and normalize single-cell measurements
• Visualize cell groups with UMAP or t-SNE
• Explore marker genes and review cell-type labels

Explore public pathogen genome data to verify lineage names, summarize weekly sequence proportions, examine reporting delays, and compare mutation frequencies. Results include filters and denominators, with clear limits on what submitted sequences reveal about infections.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Tracking weekly lineage proportions in submitted sequences
• Verifying current Pango lineage names
• Examining delays between sample collection and reporting

Simulate lithium-ion battery charging, discharging, and rest with PyBaMM. Track voltage and capacity, record parameter sources, check how numerical settings affect predictions, and compare simulated curves with measured cycling data.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Predicting voltage changes during charge, discharge, and rest
• Comparing simulation results with measured cycling data
• Checking how numerical settings affect predictions

Draft and revise scientific manuscripts while linking claims to verified evidence. The skill organizes source records, checks consistency across text and results, tracks reporting requirements, and reviews references and disclosures, with human verification and final approval.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Drafting manuscript sections from verified evidence
• Checking consistency across text, tables, and results
• Reviewing references and reporting checklist coverage

Create an editable, single-slide PowerPoint research poster from author-approved local text and images. Check physical dimensions, image resolution, contrast, reading order, and file security, with reports to support manual review and printing.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Create an editable PowerPoint conference poster
• Check print dimensions and image resolution
• Review contrast, reading order, and alternative text

Finds papers, preprints, citation links, and openly available full text through 18 scholarly APIs. Selects databases for the task and returns relevant records with search parameters, identifiers, and access dates so the retrieval can be repeated.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Find papers and preprints on a research topic
• Look up a paper by DOI, PMID, or arXiv ID
• Find openly available full text or PDFs

Prepare and analyze genomic intervals, regions defined by chromosome coordinates, with Gtars. Validate BED files, compare overlaps and coverage, combine region sets, and plan tokenization or reference storage while tracking data provenance and resource limits.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Validating BED coordinates and reference assemblies
• Counting overlaps and comparing genomic region sets
• Converting genomic intervals into token IDs

Prepare bulk RNA-seq sequencing files or quantification outputs for gene-level comparisons. Check sample information and data quality, configure processing workflows, and assemble validated count tables and metadata for downstream differential expression analysis with PyDESeq2.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Preparing gene count tables from FASTQ files
• Configuring an nf-core/rnaseq workflow
• Combining Salmon, STAR, or featureCounts outputs

Search scientific papers by topic or DOI, a paper’s identifier, and organize evidence extracted from full text. Connect claims with experiments, reported statistics, limitations, and source locations for literature reviews and evidence tables.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Find papers relevant to a research question
• Check experimental details beyond abstracts
• Build evidence tables with traceable sources

Retrieve facts from named scientific, regulatory, economic, and other databases through documented APIs. Get results with recorded filters, retrieval dates, and record counts so another person can repeat the lookup and assess its completeness.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Look up gene or compound records by identifier
• Collect clinical trials matching defined criteria
• Retrieve economic statistics with documented sources

Manage scientific datasets with DataLad and git-annex, which tracks large files separately from Git history. Retrieve selected data, record analysis commands and their inputs and outputs, rerun recorded work, and publish history alongside file content.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Retrieve only the research data you need
• Resolve files that contain pointers instead of data
• Record and rerun analysis steps

Retrieve public evidence and linked publications for a supported genetic variant, or look up gene–disease relationships. Preserve sources, conflicting assertions, and explicit search outcomes so qualified professionals can review the findings.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Review public evidence for a single genetic variant
• Find publications linked to a resolved variant
• Look up gene–disease relationships

Simulate a uniform gas mixture in a closed, insulated reactor at constant volume or pressure. Calculate ignition delay from the peak temperature rise rate, export temperature and species histories, and check conservation and numerical stability.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Calculate ignition delay at constant volume or pressure
• Inspect temperature and species histories
• Compare ignition delays across reaction mechanisms

Audit an AI agent's completion claims using existing logs, artifacts, approvals, and deployment records. Reconstruct the run and assess each claim separately, distinguishing proven results, partial support, contradictory evidence, and missing proof without rerunning the work.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Checking whether an agent's completion report has supporting evidence
• Reviewing tool calls, retries, and checkpoint recovery
• Matching approvals and deployments to the same artifact

Plan backend architecture using Clean Architecture, Hexagonal Architecture, or Domain-Driven Design. Clarify business boundaries, choose a suitable structure, define how modules depend on each other, and outline migration steps and validation checks.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Design the structure of a new backend
• Reduce tight coupling in a monolithic application
• Define shared architecture standards for a team

Plan security controls for LLM applications and AI agents, covering malicious instructions, data leakage, model tampering, and API access. Includes guidance and code examples for filtering outputs, enforcing permissions, isolating networks, and recording audit events.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Reviewing defenses against prompt injection in AI agents
• Filtering personal information from LLM responses
• Designing authentication and rate limits for LLM APIs

Trace software artifacts from source and dependencies through builds, publishing, and runtime use in CTF sandboxes. Compare intended versions with shipped files to identify the earliest divergence and document the evidence linking each stage.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Comparing declared, resolved, and shipped dependency versions
• Tracing package or build tampering through CI/CD
• Identifying the artifact actually used at runtime

Assess software dependencies, build pipelines, and container images for security risks. Create a software component inventory, check vulnerabilities and license conflicts, verify artifact signatures, and prioritize fixes based on whether vulnerable code can actually be reached.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Creating and auditing a software component inventory
• Prioritizing dependency vulnerabilities by actual exposure
• Auditing CI/CD pipelines and secret handling

Investigate AI-agent and cloud infrastructure challenges in a CTF sandbox. Trace untrusted content into tool actions, compare deployment configuration with runtime behavior, and follow software artifacts from source through build and release to their actual consumers.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Tracing untrusted content into agent tool actions
• Comparing deployment configuration with live behavior
• Following dependencies and artifacts through CI/CD