Jingye Zhao
Community@shenmuxing · Shanghai Jiao Tong University, China
Agent Skills by Jingye Zhao
Showing 25 vetted skills indexed across 1 GitHub repositories.
shenmuxingskill-management
Audit and standardize Codex skill directories for public-safe publication.
shenmuxingpublication-review
Review skill directories for privacy exposure and frontmatter validity.
shenmuxinganalysis-plan
Convert theory-first research ideas into proof-oriented analysis plans.
shenmuxingcall-gpt-pro
Manages GPT Pro delegation with source tracking and dual ChatGPT/OpenRouter routing.
shenmuxingproof-finder
Extract source-indexed proof material with stable IDs from papers and notes.
shenmuxingdeepseek-agent
Delegate critique, revision, and manuscript-writing tasks to a DeepSeek-backed OpenCode agent.
shenmuxingidea-creator-analysis
Generate and rank theory-first research ideas from papers or open problems.
shenmuxingliterature-reference-builder
Converts a literature plan into local PDFs and a curated BibTeX library.
shenmuxingproof-plan
Package raw proof ideas into GPT-pro-ready prompt bundles with claims and materials.
shenmuxingproof-orchestrator
Coordinate GPT-pro proof workflows with standardized tasks and audits.
shenmuxingidea-discovery-analysis
Orchestrate a theory-first research idea analysis pipeline with novelty screening and DeepSeek review.
shenmuxingexperiment-plan
Convert research proposals into claim-driven experiment roadmaps with milestones.
shenmuxingmuxing-style-review
Review Markdown, plain text, and LaTeX prose for clarity and evidence discipline.
shenmuxingproof-cooker
Synthesize source-indexed proof material into reusable proof-usage entries.
shenmuxingproof-material
Store source-indexed proof material with stable identifiers and citations.
shenmuxingproof-checker-v2
Audit mathematical proofs for missing assumptions and unjustified steps.
shenmuxingskill-creator
Create and update reusable Codex skills with valid directory structure.
shenmuxingproof-usage
Locate reusable proof strategies and lemmas by task shape and assumptions.
shenmuxingcodex-deepseek-paper-protocol
Coordinate a two-agent academic writing workflow with Codex planning and DeepSeek drafting.
shenmuxingstyle-review
Review Markdown prose against a 21-rule agent style system.
shenmuxingliterature-idea-planner
Plan academic literature scouting and identify relevant papers for research ideas.
shenmuxingskill-installer
Install, update, and list Codex skills from GitHub repositories.
shenmuxingskill-tester
Record observable test runs and write a Markdown debug report.
shenmuxingnovelty-check
Verifies whether a research idea or method already exists in the literature.