494 个
拓扑不动点理论：由两个公理推导标准模型、α⁻¹ 与宇宙学的机器可验证离散编译器。包含论文、验证套件（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.
一个面向英文学术写作的保守型 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.
生产级 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
用于文献综述与发现的参考文献及引文图谱Reference and citation map for literature review and discovery
🎓 降低中文学术写作 AIGC 检测率的 Claude Code Skill | Reduce AIGC detection rate for Chinese academic writing
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).
面向研究工作流的通用 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 写作痕迹两轮清除流水线：表层处理 + 基于 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
使用 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.
303 份 AI/LLM 中文讲义，支持在线阅读、PDF 下载和 LaTeX 源码查看 | Stanford CS336/CS224R/CS25 | Berkeley LLM Agents | Agent 工程实践
Obsidian.md 是一款专为学术写作打造的出色笔记应用。本仓库是"使用 AI 进行系统文献综述"研讨会活动的组成部分。Obsidian.md stands out as an exceptional note-taking application tailored specifically for academic writing. This repository is part of the activities for the Systematic Literature Review using AI workshop.
生产就绪的 FastAPI 平台，模块化组件，内置 control plane。A production-ready FastAPI platform with modular components and a built-in control plane.
一款现代化的本地离线 LaTeX 与 Typst 编辑器，同时支持可视化编辑与源码编辑。A modern, local, offline LaTeX & Typst editor with both visual and source editing.
面向 Overleaf 的 AI 驱动引用搜索与论文审阅 Chrome 扩展插件。类似 Google Scholar，但内置于 Overleaf 中。同时兼容 OpenAI Prism 和 Opera。AI-powered citation search & paper review for Overleaf — Chrome extension. Think Google Scholar but inside Overleaf. Also works with OpenAI Prism, & Opera.
本课程涵盖从初始想法到正式学术写作的开发流程与实现要点。学生将学习如何转化与消化文献综述，从而凝练出拟定的研究题目。This course will cover the fundamental steps and implementation on developing the initial ideas to formal academic writing accordingly. Students will be given the mechanisms on how to transform and digest the literature reviews that leads to the proposed title.
本仓库托管一个为开展系统文献综述（SLR）定制的 Obsidian vault，是"使用 AI 进行系统文献综述"研讨会活动的组成部分。This repository hosts an Obsidian vault tailored for conducting a Systematic Literature Review (SLR). This repository is part of the activities for the Systematic Literature Review using AI workshop.
全栈开源 AI 协作套件与多 Agent 平台，具备 LLM 编排、自动化与虚拟助手能力，可从小规模部署平滑扩展至企业级环境。Complete open-source AI collaboration suite and multi-agent platform featuring LLM orchestration, automation, and virtual assistants. Scales seamlessly from small deployments to large enterprise environments.
面向 Node.js、浏览器与 serverless 运行时的纯 TypeScript 低内存、零依赖图像编解码与处理库。具备有界解码/缩放管线，并提供深度 TIFF、科学栅格、GeoTIFF、OME-TIFF 与全切片成像支持。Low-memory, zero-dependency image codecs and processing in pure TypeScript for Node.js, browsers, and serverless runtimes. Bounded decode/resize pipelines plus deep TIFF, scientific raster, GeoTIFF, OME-TIFF, and whole-slide support.
类 GitHub 风格的 Jenkins CLI——在终端管理 context、构建运行、日志与管理员任务。GitHub-style CLI for Jenkins — manage contexts, runs, logs, and admin tasks from your terminal.
本地优先的 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
文档驱动的文献综述流水线，包含反幻觉验证阶段（基于 OpenAlex/Crossref/Semantic Scholar 进行确认或剔除）。Document-driven literature-review pipeline with an anti-hallucination verification stage (confirm-or-drop against OpenAlex/Crossref/Semantic Scholar).
Zotero 9 的 AI 插件研究助手：与文献库对话、运行联邦学术搜索、RAG、OCR、系统综述，管理云存储，含独立 MCP、Agent 能力及 skills 库。Zotero AI plugin Research assistant for Zotero 9. Chat with your library, run federated scholarly search, RAG, OCR, systematic reviews, and manage cloud storage. Includes standalone MCP, Agentic capabilities, and skills library.
开源研究管道 —— 文献综述、新颖性生成、引用验证与对抗性审查 | Open-source research pipeline — literature review, novelty generation, citation verification, and adversarial review.
⚡ Translate Markdown without breaking format — code blocks, LaTeX, links all preserved ｜ 翻译 Markdown 不破坏格式，代码块、LaTeX 公式、链接全保留
Mimir — 一站式科研工作台插件：LaTeX 论文边写边编译、arXiv 文献管理、实验追踪、指标图表、GPU 服务器 SSH 任务编排，管理科研全周期。An open-source research workbench plugin for the whole research cycle.
用于可复现 AI Agent 评测的确定性、可分叉、有状态 MCP 测试世界——不对生产环境产生副作用。Deterministic, forkable, stateful MCP test worlds for reproducible AI agent evaluation—without production side effects.
面向持续论证技巧的学术写作助手Academic Writing Assistant for Continuous Argumentation Technique
本地 MCP server，用于有状态、fail-closed 的 Logic Pro 控制与项目实时回读。Local MCP server for stateful, fail-closed Logic Pro control and live project readback.
用于处理技术文档的 Python pipeline 工具与插件生态。结合 GROBID、LangChain 处理来自 arXiv、SemanticScholar、PDF 的论文，可生成播报播客，并支持自定义 pipeline。A Python pipeline tool and plugin ecosystem for processing technical documents. Process papers from arXiv, SemanticScholar, PDF, with GROBID, LangChain, listen as podcast. Customize your own pipelines.