tla-workbenches
457Plugin Claude Code
Bundles 2 skills · 166 tokens together
TLA+ skills for checking specs and writing proofs.
15,154 mods in this category, of every kind an agent can take. Each one carries what it costs per session, what the scan found, and whether it is the original.
Plugin Claude Code
Bundles 2 skills · 166 tokens together
TLA+ skills for checking specs and writing proofs.
JeanDiable/academic-research-plugin
Plugin Claude Code
Bundles 10 skills · 1,126 tokens together
Academic research toolkit for AI PhD researchers — literature survey, paper reviewing, citation management, and more.
tondevrel/scientific-agent-skills
Plugin Claude Code
Bundles 55 skills, 2 commands, 1 MCP server · 3,848 tokens together
Agent skills for scientific computing, research workflows, and data analysis.
Skill Claude CodeCodex
A Python library for bioinformatics and community ecology, the study of biological communities such as groups of microbes or species. It works with DNA, RNA, and protein sequences, alignments, phylogenetic trees, and diversity measurements.
Plugin Claude Code
Bundles 1 skill · 238 tokens together
Turn macro intuition into validated Dynare .mod files — a coding agent skill for DSGE modeling.
Plugin Claude Code
Bundles 20 skills · 2,311 tokens together
OneScience / OneSkills skills for AI-native scientific research workflows, coding, runtime submission, debugging, and environment setup.
K-Dense-AI/drug-discovery-agent-skills
Skill Claude Code
Analyze and engineer protein glycosylation. Scan sequences for canonical N-glycosylation sequons (N-X-S/T with X not proline, including overlapping sites), predict O-GalNAc hotspots, read glycan notation, and reach the curated external tooling (NetNGlyc, NetOGlyc, GlycoShield, GlycoWorkbench, GlyTouCan, GlyConnect).…
Skill Claude Code
End-to-end clinical diagnostic reasoning skill. Takes a patient case (SCENARIO.md), runs multi-persona Bayesian reasoning rounds with textbook evidence and literature search, outputs structured DDx with likelihood ratios. Use when solving clinical cases, generating differential diagnoses, discussing clinical…
Lambenthan/paper-discipline-skills
Skill Claude CodeCodex
Instructions for checking that a research paper's main claims, assumptions, methods, and conclusions remain logically consistent after edits.
MCP server Claude CodeCodexCursor +2
MCP server for Open Targets Platform biomedical data access. Runs locally from the opentargets-mcp Python package.
Skill Claude CodeCodex
ArXivist is a multi-agent orchestration skill that converts scientific papers (arXiv PDFs or URLs) into fully executable, reproducible Git repositories through a structured pipeline. Use this skill whenever a user mentions: converting a paper to code, reproducing a research paper, implementing an arXiv paper, turning…
Skill Claude CodeCodex
An ophthalmology interview helper that turns a patient's main eye-related complaint into structured clinical information and suggests the fewest necessary follow-up questions. Ophthalmology is the medical specialty focused on the eyes.
Skill Claude CodeCodex
A workflow guide for analysing protein molecular-dynamics simulations, which model how atoms move over time. It describes procedures for correcting periodic-boundary artefacts, measuring motion and flexibility, and studying structural changes and interactions.
Skill Claude Code
Best practices for data aggregation, recalculation, and category management in scientific analyses. Covers when to recalculate vs reuse aggregated data, handling category changes, and ensuring analytical accuracy.
Skill Claude CodeCodex
Sync and manage Overleaf LaTeX projects from the command line. Pull projects locally, push changes back, compile PDFs, and download compile outputs like .bbl files for arXiv submissions. Use when working with LaTeX, Overleaf, academic papers, or arXiv.
SkyShannonProver/shannon-prover
MCP server Claude CodeCodexCursor +2
MCP server "shannon-prover" as configured in SkyShannonProver/shannon-prover. Runs locally from the shannon-prover Python package.
mantou6666/Math-Modeling-Agent-Flow
Skill Codex
A finalization guide for mathematical-modeling projects after the main results are largely fixed.
Skill Claude Code
Multi-perspective academic paper review with dynamic reviewer personas. Simulates 5 independent reviewers (Journal-Fit Reviewer + 3 peer reviewers + Devil's Advocate) with field-specific expertise. Supports full review, re-review (verification), quick assessment, methodology focus, Socratic guided, and calibration…
Skill Claude CodeCodex
Use when users ask about solving the discrete logarithm problem g^x ≡ y (mod P) with Shor-style two-register Fourier sampling, building/explaining DLP circuits, running simulator demos, or debugging post-processing (continued fractions plus two-dimensional Fourier-sample congruence solving). Triggers: discrete log…
Skill Claude CodeCodex
MCP server for ArcGIS Portal and ArcGIS Online. 66 tools for search, inspect, publish, query, manage, audit, and administer ArcGIS content. Use when: the user wants to work with feature services, web maps, layers, groups, users, webhooks, or portal administration through an AI assistant.
MCP server Claude CodeCodexCursor +2
Rosetta/PyRosetta protein modeling and Biotite translation for computational biology. Runs locally from the rosetta-mcp-server npm package. Needs 3 environment variables to run.
Plugin Claude Code
Bundles 17 skills · 916 tokens together
Pharmaceutical R&D intelligence skills for target analysis, competitive landscape, clinical trials, and market research.
Skill Codex
Use when working in Xu Zilong academic projects with Data/Program/Results/Manuscripts/Submissions and needing stable interfaces between generated results, hand-edited manuscript inserts, and submission artifacts.
MCP server Claude CodeCodexCursor +2
A Model Context Protocol (MCP) server that provides linear programming (LP) and mixed-integer programming (MIP) optimization capabilities using the HiGHS solver. Runs locally from the highs-mcp npm package.
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: