리서치·학습 스킬

Search academic papers by topic, year, citation count, and free availability. Organize abstracts and publication details into a comparison table, and investigate author affiliations, funding sources, and citation links through OpenAlex.

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

• Finding papers on a research topic
• Filtering papers available to read for free
• Checking author affiliations and research funding

Checks a research idea against recent literature, comparing its main claims with the closest published work. Produces a structured report explaining overlap, meaningful differences, risks, and whether to proceed, proceed cautiously, or abandon the idea.

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

• Checking an idea before starting implementation
• Comparing a proposed method with prior work
• Clarifying the novelty of an experimental setting

Run repeated reviews of research work, implement fixes, and request another assessment for up to four rounds by default. The workflow records progress and stops when both the review score and verdict meet its acceptance rules.

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

• Revising research work through repeated reviews
• Keeping a record of review findings and fixes
• Resuming an interrupted review process

Develop robotics research ideas through literature review, feasibility filtering, novelty checks, and external critique. Get ranked proposals with specific benchmarks, comparison methods, failure metrics, and simulation-first pilot plans matched to available infrastructure.

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

• Exploring research topics in manipulation or navigation
• Choosing robotics ideas that fit available infrastructure
• Planning pilot studies with simulation or existing logs

Turn a broad research direction into ranked ideas with clear hypotheses and small experiments. Survey related papers, use another model to challenge candidates, and update priorities using pilot results when suitable computing resources are available.

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

• Turning a broad research topic into concrete ideas
• Finding research gaps in related literature
• Comparing ideas within a computing budget

Explore a broad research direction through literature searches, idea generation, novelty checks, small pilot experiments, and critical review. Receive ranked ideas plus a refined proposal and experiment plan for the leading candidate, with evidence recorded across stages.

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

• Finding concrete ideas within a broad research topic
• Exploring improvements to a reference paper
• Comparing promising ideas through small pilot experiments

Search Zhihu, a Chinese knowledge-sharing platform, for answers, articles, people, and topics. Filter by content type and creation date, sort results, and collect structured records containing excerpts, authors, votes, and links across multiple pages.

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

• Finding Zhihu answers and articles on a topic
• Comparing highly upvoted answers
• Collecting recently created content

Turn mathematical claims into definitions, lemmas, and proofs for Lean 4 and Mathlib. Check proofs with Lean’s trusted core, separately review whether the formal statement matches the original claim, and record verification evidence.

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

• Verifying an important lemma with Lean 4
• Breaking a theorem into definitions and supporting lemmas
• Checking proofs for sorry, admit, and unauthorized axioms

Helps write and review mathematical proofs in natural language. It clarifies assumptions, maps dependencies between claims and lemmas, checks counterexamples and edge cases, and produces a traceable draft that identifies unresolved gaps or necessary changes to the statement.

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

• Filling gaps in a mathematical proof draft
• Mapping dependencies between claims and lemmas
• Searching for counterexamples and edge cases

Navigate a smart contract security knowledge base in a suggested reading order. Find guides covering audit preparation, vulnerability patterns, code searches, reproduction tests, reporting, case studies, and AI tools without losing track of the next topic.

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

• Finding a starting point for learning smart contract auditing
• Following guides from preparation through reporting
• Locating audit case studies

Shape broad mathematical interests into precise research questions. Search prior work on definitions and theorems, record traceable sources, map supporting and conflicting evidence, and identify gaps that could lead to testable conjectures.

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

• Tracing a theorem’s variants and related work
• Checking prior work on an integer sequence
• Defining search terms and the scope of a research question

Clarify the next step in a mathematical research task by identifying what is blocking progress. Select one specialist skill for discovery, derivation, computation, proof, or formal verification, with required inputs and clear stopping conditions.

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

• Decide where to start with an open mathematical question
• Find the next step when papers, formulas, and code are mixed
• Choose between derivation, computation, proof, and formalization

Turn scattered formulas and theory notes into a derivation that can be checked step by step. Keep definitions and assumptions consistent, distinguish exact identities from approximations, and make hidden conditions and limits explicit.

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

• Organize scattered formulas and theory notes
• Trace the steps behind an algebraic identity
• State conditions and error orders for approximations

Check mathematical expressions, solve equations, and search bounded ranges for counterexamples using symbolic and numerical libraries. Record assumptions, commands, and results so calculations can be repeated, while keeping computational evidence distinct from general mathematical proof.

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

• Checking identities and integrals with exact arithmetic
• Searching a defined range for counterexamples
• Cross-checking numerical results at higher precision

Research current news and financial markets through Helium MCP. Compare coverage using bias scores, read summaries combining different perspectives, retrieve live prices and AI analysis, estimate options values, and search trending memes.

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

• Compare news coverage and bias across sources
• Read a synthesis of different views on a current topic
• Research stock, ETF, and cryptocurrency prices

Gather information from multiple Notion pages and combine it into briefs, summaries, comparisons, or detailed reports. Include citations and source links, identify missing or conflicting evidence, and document findings in Notion.

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

• Summarize information scattered across Notion
• Compare options using existing internal sources
• Prepare reports with citations and source links

Research private companies with parallel agents covering business, finances, competition, governance, technology, and alternative evidence such as hiring trends. Combine findings into a valuation report that separates verified facts, estimates, conflicting sources, and unknowns.

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

• Researching a private company's business and risks
• Comparing funding valuations with estimated business value
• Finding operating signals in hiring and patent data

Research a defined topic within agreed limits and produce a cited report that distinguishes evidence, inference, contradictions, and gaps. Public web access requires consent, and saving findings or merging them into existing Obsidian notes receives separate review.

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

• Investigate a topic within agreed limits
• Compare conflicting claims and their sources
• Create a cited research report

Answer questions using a selected Obsidian vault, a collection of linked notes, without changing its files. Choose a search depth and receive answers with page references, clearly identified uncertainty, conflicting evidence, and any missing information.

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

• Find an answer in stored Obsidian notes
• Summarize knowledge in a vault
• Compare conflicting notes and their evidence

Create a small interactive HTML playground to explore how something works. It packages an explanation, simulation, or simple game into one screen, with clearly labeled keyboard controls and no network requests or external assets.

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

• Explore a mechanism through interactive controls
• Step through a simulation on one screen
• Explain an idea through a simple game

Search Notion for answers in existing documents and meeting notes. Read the relevant pages, identify the main reference using available evidence, and answer with source links while clearly reporting conflicting information or gaps.

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

• Look up internal policies and procedures in Notion
• Find the main reference among duplicate documents
• Check specifications or meeting decisions before writing

Creates figures for machine learning papers from draft text or experiment data. Extracts components for Gemini-generated diagrams, chooses suitable charts with matplotlib or seaborn, and adjusts colors, fonts, and export formats for publication.

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

• Turn a method section into an architecture diagram
• Create comparison charts from experiment results
• Plot training loss and accuracy over time

Review Agent-Native Research Artifacts, structured research packages for agents, across six dimensions of research quality. Produce a JSON report with scores, strengths, severity-ranked findings, practical improvements, and an overall acceptance or rejection recommendation.

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

• Reviewing an ARA before publication
• Checking whether evidence supports research claims
• Assessing experimental methods and research records

Turn research code and experimental results into ML and AI paper drafts. Clarify the main contribution, connect claims to evidence, find and verify references, and prepare conference submissions using LaTeX templates and review checklists.

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

• Drafting a paper from research code and results
• Revising the abstract and introduction around a clear contribution
• Finding related work and verifying references