Raman Ebrahimi
Community@ramanebrahimi · La Jolla
GSR at University of California, San Diego ECE Department
Agent Skills by Raman Ebrahimi
Showing 150 vetted skills indexed across 1 GitHub repositories.
claim-lifecycle
Update claim statuses in YAML and Markdown files with controlled vocabulary.
proof-writer
Generate mathematical proofs for ML/AI theory with status classification and dependency maps.
inbox-parser
Extract and classify PDF papers from inbox/ into literature/papers/ and bibliography.bib.
academic-researcher
Provide frameworks for literature reviews, paper analysis, and scholarly writing.
formula-derivation
Derives mathematical formulas from problem statements and structures the steps.
arxiv-search
Search the arXiv preprint repository and retrieve paper abstracts.
venue-targeting
Select publication venues and evaluate paper quality against venue criteria.
citation-management
Automate citation discovery, metadata extraction, BibTeX formatting, and validation.
run-summary
Append structured run summaries to a log file after task completion.
deep-research
Conduct in-depth research across sources and summarize findings with citations.
workspace-setup
Automate project workspace setup and validate required artifacts before command execution.
cross-pollination-ideation
Generates novel research ideas by combining interdisciplinary techniques and validating them with quality filters.
conjecture-testing
Test mathematical conjectures by searching for counterexamples and verifying small cases.
evidence-contract
Classify and validate research manuscript claims against proof files.
ml-paper-writing
Automate literature review, citation verification, and LaTeX template integration for ML/AI conference papers.
adversarial-proof-review
Review mathematical proofs and formal arguments for subtle flaws.
peer-review
Evaluate scientific manuscripts for methodology, statistics, and ethics using Python scripts.
polars-bio
Perform genomic interval operations and bioinformatics file I/O on Polars DataFrames.
benchling-integration
Automate Benchling R&D platform operations using the Python SDK and API.
networkx
Create, analyze, and visualize complex networks and graphs in Python.
anndata
Handle and analyze annotated matrices in single-cell genomics with Python.
scikit-survival
Fits Cox models and other survival analysis tools to censored time-to-event data.
qiskit
Optimize quantum circuits for IBM Quantum hardware with transpilation and error mitigation.
scientific-brainstorming
Generates novel hypotheses and explores interdisciplinary connections through conversational brainstorming for early-stage research planning.