Zelin Zhao
Community@sjtuytc · USA
Researcher
Agent Skills by Zelin Zhao
Showing 10 vetted skills indexed across 1 GitHub repositories.
sjtuytcproof-checker
Audit LaTeX mathematical proofs for logical gaps and generate issue reports.
sjtuytcproof-writer
Generate rigorous mathematical proofs and validation packages for theorem statements.
sjtuytcmath-research
Develop rigorous mathematical proofs with LaTeX output and verification workflows.
sjtuytcformula-derivation
Structure scattered equations and assumptions into coherent derivation packages.
sjtuytcsemantic-scholar
Search Semantic Scholar for academic papers and citation metadata.
sjtuytcresearch-wiki
Organize papers, ideas, experiments, and claims into a structured knowledge base.
sjtuytckill-argument
Simulate adversarial peer review to identify rejection risks in theory papers.
sjtuytcarxiv
Search arXiv, download PDFs, extract metadata, and summarize papers.
sjtuytcresearch-review
Coordinate structured external reviewer feedback for research projects and papers.
sjtuytcresearch-lit
Find and analyze academic papers to create structured literature reviews and summaries.