Loading...
Loading...
Found 3416 skills
Arthur742Ramos
Guides users through proving confluence and Church-Rosser properties in term rewriting systems for theoretical analysis.
romankurakin
Searches OS reference materials including architecture specs, books, and papers to aid in implementing OS features and verifying technical details.
romankurakin
Searches reference source code of operating systems (Linux, xv6, seL4, etc.) to analyze implementation patterns for features like scheduler and memory management.
liushuang393
An analytical agent that uncovers problem essence, structures causal relationships, and reveals critical flaws or taboos in business contexts.
liushuang393
Diagnoses user questions to identify logical gaps, hidden assumptions, and thinking errors for enhanced clarity.
zircote
Enables systematic step-by-step reasoning for complex problem analysis, allowing dynamic adjustment, branching, and scope refinement in multi-stage tasks.
Itarizum-dev
Provides stock market analysis and investment recommendations based on web research and predefined criteria for users seeking financial advice.
leochanai
Generates daily A-share market review reports by scraping financial data from East Money and Tonghuashun, delivering Markdown summaries for market analysis.
bahayonghang
Assists users in researching external documentation, API references, open-source implementations, and best practices through comprehensive information gathering.
bahayonghang
Conducts technical research using web search, generating concise reports with complete citations and prioritizing key findings over irrelevant content.
trash-panda-v91-beta
Enables parallel exploration of unfamiliar codebases, multiple modules, and external libraries for comprehensive system analysis.
Cantara
Provides decoding and handling guidance for ESMT DRAM and Flash memory component part numbers (MPNs) and their suffix patterns.
Cantara
Decodes Cree LED part numbers (MPN) and provides guidance for XLamp series and SiC power devices, aiding component selection and design.
Cantara
Provides technical analysis for comparing memory ICs (EEPROM/Flash) by part number, interface (I2C/SPI), and manufacturer equivalence.
Cantara
Provides Vicor Corporation's MPN encoding patterns for power modules, DC-DC converters, and ZVS regulators to aid component identification and selection.
Cantara
Decodes Abracon part number suffixes and provides component guidance for timing devices, crystals, oscillators, and RF components.
Cantara
Provides decoding and guidance for KDS timing device specifications including MPN patterns, crystal, and oscillator details for DSX, DST, DSO, and DSB series.
Cantara
Compares voltage regulator types (e.g., 78xx/79xx fixed, LM317/LM337 adjustable) using similarity calculations for engineering analysis.
Cantara
Provides decoding guidance for Nippon Chemi-Con capacitor part numbers, including MPN patterns and suffix meanings for aluminum electrolytic and polymer capacitors.
Cantara
Decodes Torex semiconductor part numbers (MPNs) by analyzing suffix patterns, providing specifications and handling guidance for power management ICs.
Cantara
Extracts memory component specifications including capacity, interface, and speed from part numbers for technical analysis and selection.
Cantara
Provides reference for Fairchild Semiconductor (ON Semiconductor) part number encoding, package codes, and handler guidance for MOSFETs, transistors, and diodes.
Cantara
Provides MPN encoding patterns and series identification for Samtec high-speed connectors, with handler guidance for component selection.
Cantara
Provides MPN encoding/decoding guidance and suffix handling for STMicroelectronics components including STM32, STM8, MOSFETs, and voltage regulators.