Codex-Fertigkeiten für rigorose offene Mathematikforschung, Forschungsprogramm-Management und formale Verifikation mit Lean 4 (rigorous-open-math-research + manage-math-research-program + lean-verify Plugin + math-research-workflow Pipeline).
Dieses Skill-Bündel ist für KI-Agenten wie Codex konzipiert, die in der rigorosen offenen Mathematikforschung („rigorous open mathematics research“) eingesetzt werden. Es bietet spezielle Fähigkeiten für die Strukturierung und Verwaltung von Forschungsprogrammen, die Durchführung formaler Verifikation mit Lean 4 sowie die Automatisierung mathematischer Arbeitsabläufe. Die enthaltenen Komponenten – rigorous-open-math-research, manage-math-research-program, lean-verify und math-research-workflow – arbeiten als modularer Stack zusammen. Für Forscher und Entwickler, die KI-gestützt an mathematischen Beweisen und deren formaler Überprüfung arbeiten, reduziert dieses Skill-Set manuelle Routineaufgaben erheblich. Es ist besonders nützlich für Arbeitsgruppen, die offene Mathematik betreiben und dabei auf reproduzierbare, automatisiert geprüfte Ergebnisse angewiesen sind.
npx skills add xsoc1/rigorous-open-math-researchInstalled? Explore more Recherche & Datenanalyse skills: affaan-m/uspto-database, affaan-m/scholar-evaluation, affaan-m/literature-review · View all 6 →
Codex-Fertigkeiten für rigorose offene Mathematikforschung, Forschungsprogramm-Management und formale Verifikation mit Lean 4 (rigorous-open-math-research + manage-math-research-program + lean-verify Plugin + math-research-workflow Pipeline).
USPTO patent and trademark data workflow for official record lookup, PatentSearch queries, TSDR checks, assignment data, and reproducible IP research logs.
Structured scholarly-work evaluation for papers, proposals, literature reviews, methods sections, evidence quality, citation support, and research-writing feedback.
Systematic literature-review workflow for academic, biomedical, technical, and scientific topics, including search planning, source screening, synthesis, citation checks, and evidence logging.
The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.
Agent skill repository discovered by 10x-chat research.
Review backend code for quality, security, maintainability, and best practices based on established checklist rules. Use when the user requests a review, analysis, or improvement of backend files (e.g., `.py`) under the `api/` directory. Do NOT use for frontend files (e.g., `.tsx`, `.ts`, `.js`). Supports pending-change review, code snippets review, and file-focused review.