cnki-search
Search CNKI (中国知网) for papers by keyword. Use when the user wants to find academic papers on a topic.
Search CNKI (中国知网) for papers by keyword. Use when the user wants to find academic papers on a topic.
Search for journals/publications on CNKI by name, ISSN, CN, or sponsor. Use when the user wants to find a specific journal or browse publications.
Query journal indexing/inclusion status on CNKI - check which databases include a journal (北大核心, CSSCI, CSCD, SCI, EI, etc.), get impact factors and evaluation data. Use when user asks about a journal's level, indexing, or ranking.
Use when building comprehensive monitoring and observability systems.
Update an existing SOP to reflect changes in tools, processes, or best practices
Trace harness generation (Phase 2.5). Use when: (1) instrumenting a system's source code to emit NDJSON traces for TLA+ trace validation, (2) writing test scenarios that exercise protocol code paths, (3) producing the first batch of traces from instrumented tests.
Record a bug to the shared Specula bug tracker. Use when: (1) a bug has been confirmed and you need to log it, (2) a bug's status needs updating (e.g., after filing an issue/PR), (3) you need to check what bugs have already been recorded.
TLA+ Verification workflow (orchestration). Use when: running the full verification loop — iterating between trace validation and model checking until both pass, ensuring spec faithfully models the system.
Specifies event tracking and analytics instrumentation requirements for a feature. Use when defining what data to collect, ensuring consistent tracking implementation, or documenting analytics requirements for engineering.
Documents the results of a completed experiment or A/B test with statistical analysis, learnings, and recommendations. Use after experiments conclude to communicate findings, inform decisions, and build organizational knowledge.
Designs an A/B test or experiment with clear hypothesis, variants, success metrics, sample size, and duration. Use when planning experiments to validate product changes or test hypotheses.
Integrates OpenAI Codex CLI as an MCP server to provide second-opinion reviews. Triggered by requests for Codex review, second opinion, or Codex setup. Do NOT load for: standard reviews without Codex, implementation work, or non-setup tasks.
Geometry & Trigonometry Suite - Solve geometry problems: calculate area, height from sine, angle in degrees, and increase factor. Use this skill for mathematics tasks involving calculate area calculate height from length and sine calculate phi deg calculate increase factor. Combines 4 tools from 1 SCP server(s).
Calculate material density and volume from mass and geometric dimensions for materials mechanics analysis.
Calculate seawater thermodynamic properties using TEOS-10 standard including density, salinity, sound speed, and freezing temperature for oceanography.
Calculate atmospheric parameters including Coriolis parameter, geostrophic wind, heat index, potential temperature, and dewpoint for meteorology and climate science.
Experimental Data Processing - Process experimental data: absolute error, mean square, max value, scientific notation formatting. Use this skill for experimental physics tasks involving calculate absolute error calculate mean square calculate max value format scientific notation convert to scientific notation. Combines 5 tools from 1 SCP server(s).
Electromagnetic Field Analysis - Analyze EM fields: vacuum permittivity, total charge, radiation pressure, and photon calculations. Use this skill for electromagnetics tasks involving calculate vacuum permittivity calculate total charge calculate radiation pressure calculate total power. Combines 4 tools from 2 SCP server(s).
Calculate volumes of geometric shapes for engineering design and mathematical analysis.
Calculate optical frequency and wavelength relationships for photonics and electromagnetic analysis.
Optical System Analysis - Analyze optical system: calculate photon rate, frequency range, radiation pressure, and electron wavelength. Use this skill for optics tasks involving calculate incident photon rate calculate frequency range calculate radiation pressure electron wavelength. Combines 4 tools from 1 SCP server(s).
Process seismic waveform data including reading MinISEED/SAC files, extracting metadata, and visualizing earthquake signals.