仓库/Skill 库

面向 C# 与 F# 的开源跨平台符号代数库，可同时用于生产与研究Open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.

AI 短剧制作的 skill 集合：拆角色、出设定图、排大纲 | Agent skills for AI short-drama production — character bibles, model sheets, adaptation outlines. Runs in Claude Code & codex.

终极开源 Overleaf 扩展与替代方案：免费、自托管的 Overleaf Community Edition 即插即用替代品，几乎涵盖所有 Pro 功能——SSO、AI Assistant、Git/GitHub 同步、修订记录、沙箱编译、Zotero、Mendeley 等。前身为 @Ayaka-notes Overleaf Pro Edition。文档：https://ayakaleaf-pro.ayaka.spaceThe ultimate open-source Overleaf extension and alternative: a free, self-hosted, drop-in replacement for Overleaf Community Edition with nearly all Pro feature—SSO, AI Assistant, Git/GitHub sync, track changes, sandboxed compilation, Zotero, Mendeley and more. Formerly @Ayaka-notes Overleaf Pro Edition. Documents: https://ayakaleaf-pro.ayaka.space

一组 .NET 库，使用 LaTeX 排版样式渲染数学公式，面向 WPF 和 Avalonia 等基于 XAML 的框架。A collection of .NET libraries for rendering mathematical formulae using the LaTeX typesetting style, for the WPF and Avalonia XAML-based frameworks

物理/化学/ML 概念图解Diagrams of concepts in physics/chemistry/ML

生成干净的 2D 游戏精灵图与动画图集——组件行流水线：状态行、alpha 清理、帧提取、运行时图集。Codex/Claude skill。Generate clean 2D game sprites & animation atlases — component-row pipeline: state rows, alpha cleanup, frame extraction, runtime atlases. Codex/Claude skill.

基于 Google PaperOrchestra 论文实现的全自动 AI 研究论文写作器，通过技能-基准测试 + 自动评分器，配合任意编码 Agent（Claude Code、Cursor、Antigravity、Cline、Aider）。无需 API Key，无需 LLM SDK。An automated AI research-paper writer based off Google's PaperOrchestra paper's implementation through a skills - benchmark + autoraters using any coding agent (Claude Code, Cursor, Antigravity, Cline, Aider). No API keys, no LLM SDKs.

构建自主 AI agent 的终极 API 集合 — 覆盖 Agents、AI Models 与 MCP Servers 三大类共 2,036 个生产级 API。无需再花费数周搭建基础设施，集成即可上线你的 agent。The ultimate collection of APIs for building autonomous AI agents — 2,036 production-ready APIs across Agents, AI Models, and MCP Servers. Stop wasting weeks building infrastructure. Plug these in and ship your agent today.

一个面向英文学术写作的保守型 AIGC 检测器指导的论文改写 Skill。支持 Turnitin AI、CNKI AIGC、最小化编辑修订、保留学术要素、定性/定量路由，以及逐章降低 AI 写作风险，且不宣称绕过检测器。A conservative AIGC detector-informed thesis rewriting skill for English and Chinese academic writing. Supports Turnitin AI, CNKI AIGC, minimal-edit revision, protected academic elements, qualitative/quantitative routing, and chapter-by-chapter AI-writing risk reduction without detector-bypass claims.

面向学术论文的 AI 驱动后处理工具包 —— 格式校验、语法/风格润色、去 AI 化编辑、参考文献核查，以及审稿人风格的论文审查。提供 LaTeX、Typst 和 PDF 的 5 个 Skill。专注于提升已有文本质量，而非从零生成AI-powered post-writing toolkit for academic papers — format validation, grammar/style polishing, de-AI editing, reference checking, and reviewer-style paper audits. 5 skills for LaTeX, Typst & PDF. Focused on enhancing existing text quality, not generating from scratch.

拓扑不动点理论：由两个公理推导标准模型、α⁻¹ 与宇宙学的机器可验证离散编译器。包含论文、验证套件（Python/Wolfram/Lean）、实验及网站。Topological Fixed-Point Theory: a machine-checked discrete compiler for the Standard Model, α⁻¹, and cosmology from two axioms. Papers, verification suite (Python/Wolfram/Lean), experiments & website.

基于文件、使用 Markdown 的 wikiA file based wiki that uses markdown

生产级 Go SDK，用于构建具备长期记忆、知识检索与语音能力的 AI agent，可作为库、守护进程或实时管道运行。Production-grade Go SDK for building AI agents with long-term memory, knowledge retrieval, and voice — runnable as a library, a daemon, or a real-time pipeline.

将 AI 生成的文本轻松转换为正式、类人、学术化的写作风格，规避 AI 检测器！Transform AI-generated text into formal, human-like, and academic writing with ease, avoids AI detector!

一款 MCP，让 AI 工具安全连接基础设施、编写 IaaS 代码、调试问题并在故障中提供协助，且不危及生产稳定性。专为安全团队审批而设计，为基础设施团队带来如魔法般的体验。An MCP that lets AI tools securely connect to your infrastructure, write IaaS code, debug issues, and assist during incidents - without risking production stability. Built for security teams to approve and infrastructure teams to experience like magic.

面向新闻、媒体与学术界的 Claude Code skills，涵盖核查、FOIA、数据新闻与学术写作等场景。Claude Code skills for journalism, media, and academia - verification, FOIA, data journalism, academic writing, and more

IQ Series 是一个面向 Microsoft IQ 的动手学习体验：Microsoft 的企业级统一智能层，涵盖 Foundry IQ、Work IQ 和 Fabric IQ。该系列包含视频剧集、Jupyter notebook 和 Azure 部署模板。The IQ Series is a hands-on learning experience for Microsoft IQ: Microsoft's unified intelligence layer for the enterprise, spanning Foundry IQ, Work IQ, and Fabric IQ. The series includes video episodes, Jupyter notebooks, and Azure deployment templates.

面向 Machine Learning 的数据搜索与增强库 —— 可从数百个公开和付费的外部数据源（包括开源和商用 LLM）中轻松查找并添加相关特征到你的 ML & AI pipelineData search & enrichment library for Machine Learning → Easily find and add relevant features to your ML & AI pipeline from hundreds of public and premium external data sources, including open & commercial LLMs

一个 R 包，可通过友好、现代的界面创建多种输出格式的样式化表格。An R package to create styled tables in multiple output formats, with a friendly, modern interface.

面向研究工作流的通用 SKILL.md 目录：覆盖文献综述、研究设计、项目记忆、稿件写作与跨 Agent 委托，兼容 Claude Code、Codex、Gemini、Cursor、OpenClaw 及通用 AI 客户端Universal SKILL.md catalog for research workflows: literature review, research design, project memory, manuscript writing, and cross-agent delegation for Claude Code, Codex, Gemini, Cursor, OpenClaw, and generic AI clients.

面向 AI 时代的轻量、可扩展、完全离线的开发平台与 agent/工作流工具集，具有直观的 TUI、易于部署，并可完全掌控你的数据、agent 和工作流。A lightweight, extensible, fully offline development platform and agent/workflow toolkit for the AI era, with an intuitive TUI, easy deployment, and complete control over your data, agents, and workflows.

西北工业大学本科毕业设计/硕士博士学位论文 LaTeX 模板 （2026）

现代化的离线 LaTeX & Typst 编辑器，支持可视化和源码编辑。Modern offline LaTeX & Typst editor with visual and source editing.

用于文献综述与发现的参考文献及引文图谱Reference and citation map for literature review and discovery

🎓 降低中文学术写作 AIGC 检测率的 Claude Code Skill | Reduce AIGC detection rate for Chinese academic writing

LTeX+：基于 LanguageTool 的 VS Code 语法/拼写检查器，支持 LaTeX、Markdown 等格式LTeX+: Grammar/spell checker :mag::heavy_check_mark: for VS Code using LanguageTool with support for LaTeX :mortar_board:, Markdown :pencil:, and others

AgenticX 是一个统一、生产就绪的多 Agent 平台——Python SDK + CLI (agx) + Studio server + Machi 桌面应用。具备 Meta-Agent 编排、15+ LLM provider、MCP Hub、分层记忆、头像与群聊、Skill 生态、安全沙箱和 IM 网关（飞书/微信）。AgenticX is a unified, production-ready multi-agent platform — Python SDK + CLI (agx) + Studio server + Machi desktop app. Features Meta-Agent orchestration, 15+ LLM providers, MCP Hub, hierarchical memory, avatar & group chat, skill ecosystem, safety sandbox, and IM gateway (Feishu/WeChat).

统一的 Agentic AI 与商业智能平台Unified Agentic AI and Business Intelligence Platform

本地优先的 AI 辅助科研工作空间，面向科学写作与出版。支持 LaTeX / Typst / Markdown 原生排版，覆盖调研、写作、编译、验证到发表全流程，Git-native，开源，桌面级性能。The local-first AI assisted research workspace for scientific writing & publishing. Research, Write, Compile, Verify and Publish in LaTeX • Typst • Markdown • Git-native • Open Source • Desktop Performance

Mimir — 一站式科研工作台插件：LaTeX 论文边写边编译、arXiv 文献管理、实验追踪、指标图表、GPU 服务器 SSH 任务编排，管理科研全周期。An open-source research workbench plugin for the whole research cycle.

面向对外文本的 AI 写作痕迹两轮清除流水线：表层处理 + 基于 StoryScope 研究的结构性处理。打包为 Claude Code Skills。免费社区：skool.com/jens-ai-community-1306Two-pass pipeline for removing AI writing tells from outward-facing text: a surface pass plus a structural pass grounded in the StoryScope study. Packaged as Claude Code Skills. Free community: skool.com/jens-ai-community-1306

面向 OpenAI Codex CLI 的自治系统与安全工具集。确定性二进制分析、解耦流水线与零摩擦执行。Autonomous Systems & Security Toolkit for OpenAI Codex CLI. Deterministic binary analysis, decoupled pipeline, and zero-friction execution.

集成五个 Agent skill 的 LaTeX 稿件工作流，包含项目诊断、可复现构建以及离线变更审查。LaTeX manuscript workflows with five agent skills, project diagnostics, reproducible builds and offline change review.

一个论文排版编辑器A Paper Typesetting Editor

使用 AI 的系统文献综述（SLR）借助人工智能技术，自动加速海量学术文献的审阅与综合过程Systematic Literature Review (SLR) using AI involves leveraging artificial intelligence techniques to automate and expedite the process of reviewing and synthesizing large volumes of scholarly literature.

用于机器人和 Physical AI 的多模态数据质量、处理、enrichment 与 curation pipelines 的开源 SDK。Open source SDK for building multimodal data-quality, processing, enrichment, and curation pipelines for robotics and Physical AI.