Automated Planning utilities for loading PDDL domains and problems, generating plans using classical planners, validating plans, and saving plan outputs. Supports standard PDDL parsing, plan synthesis, and correctness verification.
The English summary is being prepared. Showing the original description.
Redact text from PDF documents for blind review anonymization
The English summary is being prepared. Showing the original description.
Use this skill whenever the user wants to do anything with PDF files. This includes reading or extracting text/tables from PDFs, combining or merging multiple PDFs into one, splitting PDFs apart, rotating pages, adding watermarks, creating new PDFs, filling PDF forms, encrypting/decrypting PDFs, extracting images, and OCR on scanned PDFs to make them searchable. If the user mentions a .pdf file or asks to produce one, use this skill.
The English summary is being prepared. Showing the original description.
Adding integral action to MPC for offset-free tension tracking.
The English summary is being prepared. Showing the original description.
AI驱动的Java代码安全审计技能，实现系统化、高覆盖率的漏洞挖掘。使用场景： (1) 审计Java/Kotlin项目寻找安全漏洞（0day挖掘、代码审计、安全评估） (2) 企业级代码库的安全审计（支持大型项目） (3) 需要高质量、低幻觉率的安全审计报告 (4) CI/CD集成的前期漏洞发现 触发关键词：Java审计、代码审计、安全审计、漏洞挖掘、0day、安全评估、Java security audit、code review for security
The English summary is being prepared. Showing the original description.
Solving finite-horizon LQR via dynamic programming for MPC.
The English summary is being prepared. Showing the original description.
Implement safety interlocks and protective mechanisms to prevent equipment damage and ensure safe control system operation.
The English summary is being prepared. Showing the original description.
Extract locational marginal prices (LMPs) from DC-OPF solutions using dual values. Use when computing nodal electricity prices, reserve clearing prices, or performing price impact analysis.
The English summary is being prepared. Showing the original description.
Use this skill any time a spreadsheet file is the primary input or output. This means any task where the user wants to: open, read, edit, or fix an existing .xlsx, .xlsm, .csv, or .tsv file (e.g., adding columns, computing formulas, formatting, charting, cleaning messy data); create a new spreadsheet from scratch or from other data sources; or convert between tabular file formats. Trigger especially when the user references a spreadsheet file by name or path — even casually (like "the xlsx in my downloads") — and wants something done to it or produced from it. Also trigger for cleaning or restructuring messy tabular data files (malformed rows, misplaced headers, junk data) into proper spreadsheets. The deliverable must be a spreadsheet file. Do NOT trigger when the primary deliverable is a Word document, HTML report, standalone Python script, database pipeline, or Google Sheets API integration, even if tabular data is involved.
The English summary is being prepared. Showing the original description.
Selecting MPC prediction horizon and cost matrices for web handling.
The English summary is being prepared. Showing the original description.
Linearizing nonlinear dynamics around operating points for control design.
The English summary is being prepared. Showing the original description.
Align Python version and repo-declared dependencies (requirements.txt / environment.yml) before installing packages for NLP research code reproduction.
The English summary is being prepared. Showing the original description.
Build unified multi-level category taxonomy from hierarchical product category paths from any e-commerce companies using embedding-based recursive clustering with intelligent category naming via weighted word frequency analysis.
The English summary is being prepared. Showing the original description.
Calculate PI/PID controller gains using Internal Model Control (IMC) tuning rules for first-order systems.
The English summary is being prepared. Showing the original description.
Fit first-order dynamic models to experimental step response data and extract K (gain) and tau (time constant) parameters.
The English summary is being prepared. Showing the original description.
Generator economic dispatch and cost optimization for power systems. Use when minimizing generation costs, computing optimal generator setpoints, calculating operating margins, or working with generator cost functions.
The English summary is being prepared. Showing the original description.
Use this skill when reading sensor data from CSV files, writing simulation results to CSV, processing time-series data with pandas, or handling missing values in datasets.
The English summary is being prepared. Showing the original description.
Analyzes 3D mesh files (STL) to calculate geometric properties (volume, components) and extract attribute data. Use this skill to process noisy 3D scan data and filter debris.
The English summary is being prepared. Showing the original description.
Participate in DojoZero prediction contests. Use when user wants to find games, join prediction-mode trials, check event status, submit predictions, or view leaderboards.
The English summary is being prepared. Showing the original description.
Participate in DojoZero prediction games, including NBA and FIFA World Cup trials. Use when user wants to find games, join them, check scores/odds, place bets or prediction-window picks, or view leaderboards.
The English summary is being prepared. Showing the original description.
Is this your account? Link GitHub to bring it onto your creator page (Japanese)