此技能描述后端API实现模式，涉及REST、GraphQL、身份验证等，但我的专业领域是股票量化交易，专注于数据分析和策略评估。

论证映射与重构技能是一种用于从复杂文本（特别是哲学文本）中系统提取、分析和可视化论证的工具。它能够识别前提、结论和隐含假设，并使用图尔敏模型或标准逻辑形式创建清晰的论证图。该技能适用于批判性思维教学、学术分析、论证质量评估和哲学写作，帮助用户深入理解论证结构，提升逻辑分析和重构能力。关键词：论证映射，论证重构，图尔敏模型，逻辑分析，批判性思维，哲学文本分析，可视化论证，前提结论识别。

RFx文件生成器是一款自动化采购文档生成工具，专为供应链和采购流程设计。它能够自动创建标准化的信息征询书（RFI）、建议邀请书（RFP）和报价邀请书（RFQ），并集成模板管理、评估标准加权、供应商响应分析和授标建议等功能。该工具旨在简化招标流程，提高采购效率，确保合规性，并支持与主流电子采购平台集成。关键词：RFI RFP RFQ 自动化 采购文档 模板管理 供应商评估 招标流程 供应链 电子采购

飞行仿真模型技能专注于开发和验证高精度飞行动力学模型，用于飞行员训练模拟器、工程性能分析和飞行测试支持。该技能涵盖六自由度运动方程、气动数据库集成、推进系统建模、大气环境模拟以及模型与真实飞行数据的对比验证，确保仿真的真实性和可靠性。关键词：飞行仿真，动力学建模，模型验证，六自由度，气动数据库，实时仿真，飞行测试，航空航天工程。

此技能专注于设计和实现高质量、独特的终端用户界面，特别适用于命令行工具和TUI应用程序。它强调美学设计、颜色主题、排版样式、布局优化和动态效果，以提供卓越的用户体验并避免通用样式。关键词：终端用户界面、CLI工具、TUI应用、界面设计、用户体验、ANSI代码、颜色方案、排版技术、终端美学、数据可视化。

每日简报是一款智能助手技能，旨在为用户提供高效的晨间规划与信息汇总。它通过整合日历、邮件、任务和新闻等数据源，自动生成结构化的每日简报，帮助用户快速掌握当天日程、优先级事项、关键邮件和行业动态。该技能强调可扫描性和优先级管理，支持深度工作安排和跨时区协作，并能根据需求提供日终回顾。适用于追求效率的专业人士、管理者和团队，助力提升时间管理和决策效率。 关键词：每日简报，晨间规划，优先级管理，日程整合，效率工具，时间管理，智能助手，工作简报，任务管理，信息汇总

会议日程安排器是一款专为风险投资、投行及企业高管设计的智能日程协调工具。它能高效管理多方会议安排，自动处理时区差异，优化参会者可用时间，并支持从初步沟通到董事会会议等多种会议类型。核心功能包括日历集成、智能时间推荐、项目流协调和投资组合会议管理，旨在提升团队协作效率，减少日程冲突，是专业投资机构和企业管理层的必备效率工具。关键词：智能会议安排，风险投资日程管理，时区协调，多方会议优化，日历同步，投资委员会会议，董事会日程，尽职调查协调。

TKET编译器是一个用于量子计算的平台无关电路优化工具，由剑桥量子（Quantinuum）开发。它专注于量子电路编译、多后端部署、相位门优化、克利福德简化、噪声感知路由和电路重写，帮助用户将量子算法高效适配到IBM、谷歌、亚马逊等不同硬件平台。关键词：量子计算，电路编译，t|ket>，平台无关，硬件后端，优化，噪声感知，量子软件。

这个技能用于在AI或工具使用中建立强制工作流，确保在开始任何任务时正确查找和使用技能，包括阅读技能、头脑风暴、创建任务清单等，以提高效率、避免错误和遵循最佳实践。关键词：计划执行、技能管理、工作流、AI助手、任务清单、头脑风暴、强制协议。

泄压系统设计器是一款用于化工过程安全的专业工具，专注于安全阀选型、泄放负荷计算和火炬系统设计。核心功能包括：根据API 520/521/526标准进行PSV（安全阀）尺寸计算、两相流泄放分析、火炬总管水力模拟、超压保护方案评估以及泄放场景识别。适用于石油化工、精细化工、制药等行业的工艺安全工程师进行泄压系统设计、安全阀数据表生成和合规性验证。关键词：安全阀选型，泄压系统设计，API 520，火炬系统，超压保护，化工安全，PSV计算，两相流泄放。

反例生成器是一款自动化数学工具，专门用于搜索和发现数学猜想、定理或命题的反例。它通过智能采样、边界测试、SMT求解和有限模型查找等技术，帮助数学研究者、计算机科学家和学生验证猜想、调试证明。核心功能包括随机测试、约束求解和快速性质检查，适用于定理证明、形式验证和数学研究领域。关键词：反例搜索、数学猜想验证、定理证明、SMT求解、Quickcheck、自动化测试、形式验证、数学工具。

双向类型检查是一种编程语言技术，用于结合类型推断和类型验证来实现高效的类型系统。它通过区分推断模式（从项合成类型）和检查模式（验证项对给定类型），应用于编译器设计、类型检查器和交互式开发环境，提高错误消息质量和类型安全。关键词：双向类型检查，类型推断，类型验证，编程语言，编译器，错误处理，类型系统。