LLM agent for formal theorem proving in Lean 4
Skills(SKILL.md)は、AIエージェント(Claude Code、Cursor、Codexなど)に特定の能力を追加するための設定ファイルです。
詳しく見る →LLM agent for formal theorem proving in Lean 4
Adverse drug event detection, safety signal mining, and drug monitoring
Computational physics methods, simulations, and research tools
Explore quantum computing research with Qiskit and Cirq frameworks
6 social science skills. Trigger: survey research, social networks, psychology, behavioral studies. Design: quantitative and qualitative methods for social science research.
Psychological research methods, experimental design, and analysis
Design, deploy, and analyze surveys for social science and organizational res...
9 paper discovery skills. Trigger: finding new relevant papers, tracking citations, staying current. Design: automated monitoring, recommendation engines, and alert setup guides.
Set up citation alerts and track new papers citing key references
Systematic paper recommendation and discovery using multiple methods
Community-curated directory of influential CS research papers
Paper discovery via recommendation APIs (OpenAlex, CrossRef citation networks)
Guide to Zotero arXiv Daily for personalized daily paper recommendations
Search and retrieve open access research papers via CORE aggregator
Access papers from institutional and subject repositories at scale
Access papers through interlibrary loan and document delivery services
Navigate open access policies, repositories, and legal full-text retrieval me...
Find free legal full-text versions of scholarly articles via Unpaywall
Guide to altmetrics and research impact beyond traditional citations
Perform science mapping and bibliometric analysis with R bibliometrix
Analyze citation networks, impact metrics, and bibliometric patterns
Resolve DOIs and retrieve publication metadata from CrossRef registry
Understanding and calculating research impact metrics
Understand journal impact factors, h5-index, CiteScore, and SJR
Detect and manage duplicate items in Zotero libraries
Zotero workflow automation with custom actions and tags
Zotero plugin for automatic attachment file organization
Zotero utility plugin for keyboard shortcuts and batch editing
Using Baidu Scholar for Chinese and English academic literature search
Master Boolean operators and advanced search syntax for academic databases
Use ChatPaper to summarize and search arXiv papers with LLM assistance
Forward and backward citation chaining techniques for literature search
Search multiple academic databases simultaneously with Findpapers
Advanced Google Scholar search techniques for comprehensive literature discovery
Track and compare research experiments with Aim experiment tracker
Intelligent companion for ML engineering with arXiv integration
Microsoft AI-driven R&D agent for automated data and model development
Automated deep research tool for thorough topic investigation
Open deep research alternative for private data with vector search
Deep research agent searching 10+ sources with local or cloud LLMs
Navigate EU Horizon Europe funding programs and proposal writing
Search NIH-funded grants and research projects via RePORTER API
Search NSF awards and grants with free public API, no auth required
Pre-registration, open data, and FAIR principles for research
13 research methodology skills. Trigger: study design, methodology selection, scientific reasoning, mentoring. Design: rigorous methods frameworks covering qualitative, quantitative, and mixed approaches.
Design and conduct action research and participatory studies
Ready-to-use agent skills for scientific research and engineering
Design rigorous experiments using DOE, factorial designs, and response surfaces
Practical advice for thriving in PhD programs and academic research
Guide to designing and conducting mixed methods research