exa
claudeExa AI web search, deep research, and content extraction. Provides MCP tools and research skills for comprehensive web search, people discovery, company research, academic papers, and more.
2 skills · 1 MCP server
Pre-submission auditor for academic papers: verify references actually exist (catch AI-hallucinated and retracted citations), check internal faithfulness (numbers match the tables, figures match the prose, no broken citations/refs), check LaTeX formatting/writing/anonymization, and enforce venue-specific rules (page limits, mandatory sections, checklists) for ACL/EMNLP/NAACL/CVPR/ICCV/ECCV/NeurIPS/ICML/ICLR.
Not in a marketplace yet, so it loads for one session with --plugin-dir.
Plugin before-submit in thinkwee/BeforeSubmitSkill. Commands read from the repo's manifest — 1 month ago.
before-submitComprehensive pre-submission quality check for an academic paper (LaTeX + BibTeX/biblatex). Use when the user is preparing to submit a paper and wants to verify: bibliography correctness (references actually exist, aren't hallucinated, aren't retracted, metadata matches), LaTeX formatting & writing
Exa AI web search, deep research, and content extraction. Provides MCP tools and research skills for comprehensive web search, people discovery, company research, academic papers, and more.
2 skills · 1 MCP server
Exa AI web search, deep research, and content extraction. Provides MCP tools and research skills for comprehensive web search, people discovery, company research, academic papers, and more.
2 skills · 1 MCP server
Knowledge base compiled from OpenAI's Spinning Up in Deep RL (MIT, Joshua Achiam) by engineering/book-to-skill. A resident core carries the RL optimization problem, the model-free taxonomy, the policy-gradient template with its five valid weights, the safe-step family (VPG to TRPO to PPO) and the overestimation family (DDPG to TD3 and SAC); 20 on-demand chapters cover key concepts and MDPs, the algorithm taxonomy and model bias, the policy gradient derivation with the log-derivative trick and EGLP lemma, Achiam's researcher essay, the key-papers topic map, the exercises including the silent DDPG broadcasting bug, the benchmark parity disclosure, one chapter per algorithm, and the logger/MPI/ExperimentGrid utilities. Ships a glossary, a patterns file with 16 techniques, a decision cheatsheet with thresholds, a cs-spinning-up-deep-rl agent and /cs-spinning-up-deep-rl. Structured study notes, not a reproduction of the source.
1 skill · 1 command · 1 agent
The ARIS skill set as a plugin — every mainline skill under skills/, plus /aris:setup, which registers the bundled Codex reviewer bridge (mcp-servers/codex-exec/) and points helper resolution at the plugin.
87 skills · 1 command · 1 agent
Write publication-ready ML/AI/Systems papers for NeurIPS, ICML, ICLR, ACL, AAAI, COLM, OSDI, NSDI, ASPLOS, SOSP. Includes LaTeX templates, citation verification, reviewer guidelines, publication-quality figure generation, systems paper structural blueprints, and conference presentation slides.
98 skills
Principled framework for triaging vulnerability reports using 7 brocards (rules of thumb). Evaluates incoming CVEs, bug bounty submissions, and security findings against structured dismissal/acceptance criteria before escalating to deeper analysis.
1 skill
This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.