16,358 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.
Skill Claude CodeCodex
Use this skill when you must solve a system of real equations numerically and need a result you can prove is correct — algebraic equations or common transcendentals (sin/cos/tan/log/exp/sqrt/abs), up to 6 variables and 64 equations, no initial guess required. Choose this instead of computing the math yourself or…
Skill Claude CodeCodex
Build an auditable biomedical evidence workspace with Biolab. Use for cross-source evidence searches, source verification, reviewed collections, target validation, literature monitoring, or retrieval provenance.
Skill Codex
Develop and inspect on-disk Agda proofs with agda-mcp: typecheck modules, inspect holes and constraints, infer or normalize expressions, and refine, case split, or search for proofs. Use for Agda source and interaction failures; not Lean, Coq, general dependent-type explanations, or development of the MCP server…
Neuro-Mechatronics-Interfaces/SemanticScholar_MCP
Plugin Claude Code
Bundles 1 skill, 3 MCP servers · 47 tokens together
Deterministic Semantic Scholar Academic Graph, Recommendations, and Datasets MCP tools with secure local credential setup.
scispot-repo/scispot-mcp-server
Plugin Cursor
Query Labsheets, manage ELN experiments and protocols, and look up samples and inventory.