菜单
Cut, trim, concatenate, and split video files - basic video editing operations
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Materials science toolkit. Crystal structures (CIF, POSCAR), phase diagrams, band structure, DOS, Materials Project integration, format conversion, for computational materials science.
World-class Java and Spring Boot development skill for enterprise applications, microservices, and cloud-native systems. Expertise in Spring Framework, Spring Boot 3.x, Spring Cloud, JPA/Hibernate, and reactive programming with WebFlux. Includes project scaffolding, dependency management, security implementation, and performance optimization.
World-class data engineering skill for building scalable data pipelines, ETL/ELT systems, real-time streaming, and data infrastructure. Expertise in Python, SQL, Spark, Airflow, dbt, Kafka, Flink, Kinesis, and modern data stack. Includes data modeling, pipeline orchestration, data quality, streaming quality monitoring, and DataOps. Use when designing data architectures, building batch or streaming data pipelines, optimizing data workflows, or implementing data governance.
This skill should be used when working on Lean 4 formalization projects to maintain persistent memory of successful proof patterns, failed approaches, project conventions, and user preferences across sessions using MCP memory server integration
Extract, normalize, mix, and process audio tracks - audio manipulation and analysis
Convert media files between formats - video containers, audio formats, and codec transcoding
| name | FFmpeg Video Editing |
| description | Cut, trim, concatenate, and split video files - basic video editing operations |
Basic video editing operations: cutting, trimming, concatenating, and splitting videos.
# Cut from 10s to 30s (using -ss and -to)
ffmpeg -ss 00:00:10 -to 00:00:30 -i input.mp4 -c copy output.mp4
# Cut from 10s for 20 seconds duration
ffmpeg -ss 00:00:10 -t 20 -i input.mp4 -c copy output.mp4
# First 60 seconds
ffmpeg -t 60 -i input.mp4 -c copy output.mp4
# Last 30 seconds (need duration first)
ffmpeg -sseof -30 -i input.mp4 -c copy output.mp4
# With re-encoding (more precise)
ffmpeg -ss 00:00:10 -i input.mp4 -t 20 -c:v libx264 -c:a aac output.mp4
# Keyframe-accurate (faster, may be less precise)
ffmpeg -ss 00:00:10 -i input.mp4 -t 20 -c copy output.mp4
# Create list.txt file:
# file 'video1.mp4'
# file 'video2.mp4'
# file 'video3.mp4'
ffmpeg -f concat -safe 0 -i list.txt -c copy output.mp4
# If all videos have same codec/format
ffmpeg -i "concat:video1.mp4|video2.mp4|video3.mp4" -c copy output.mp4
# Re-encode for compatibility
ffmpeg -f concat -safe 0 -i list.txt -c:v libx264 -c:a aac output.mp4
# Split into 60-second segments
ffmpeg -i input.mp4 -c copy -f segment -segment_time 60 \
-reset_timestamps 1 output_%03d.mp4
# Split at specific timestamps
ffmpeg -i input.mp4 -ss 00:00:00 -t 00:01:00 -c copy part1.mp4
ffmpeg -i input.mp4 -ss 00:01:00 -t 00:01:00 -c copy part2.mp4
# When you need to change quality/codec
ffmpeg -ss 00:00:10 -i input.mp4 -t 20 \
-c:v libx264 -crf 23 -c:a aac -b:a 192k output.mp4
# Extract multiple segments
ffmpeg -i input.mp4 \
-ss 00:00:10 -t 00:00:05 -c copy segment1.mp4 \
-ss 00:01:00 -t 00:00:10 -c copy segment2.mp4
-c copy for speed (no re-encoding)-ss before -i is faster but less precise-ss after -i is more precise but slower-c copy