WolframInstitute

47 mods across 1 repository, 6 stars between them.

add-resource

27

WolframInstitute/ClaudePluginComputationalResearch

Skill Claude CodeCodex

Add a resource (paper, repo, notebook, dataset, tool, web page) to the wiki. Downloads the file locally (gitignored), creates a wiki article with a Recover section for reproducibility, and updates the index. Use when the user says "add this paper", "save this resource", "note this repo", or when encountering a new…

6 11d ago A 93 tokens

build-paclet

28

WolframInstitute/ClaudePluginComputationalResearch

Skill Claude CodeCodex

Build a Wolfram paclet archive and install it locally. Use when the user says "build paclet", "build the paclet", "install paclet locally", "make paclet", "create paclet archive", or "test the paclet install".

6 11d ago A 58 tokens

check-wiki

29

WolframInstitute/ClaudePluginComputationalResearch

Skill Claude CodeCodex

Run a health check on the wiki. Finds stale articles, missing coverage, broken backlinks, and opportunities for cross-linking. Use at the start of a new session, or when the user says "check wiki", "wiki health", "audit wiki", "wiki status".

6 11d ago A 59 tokens

cite

30

WolframInstitute/ClaudePluginComputationalResearch

Skill Claude CodeCodex

Produce a BibTeX/biblatex entry from an arXiv ID or DOI. Optionally appends to Paper/references.bib if it exists. Use when the user says "cite this", "bibtex for arXiv:...", "DOI 10.xxx/...", "add citation", or when adding a reference during paper writing.

6 11d ago A 73 tokens

init-wiki

31

WolframInstitute/ClaudePluginComputationalResearch

Skill Claude CodeCodex

Initialize a plain-markdown knowledge base (Wiki/) in the current repo. Use when the user says "init wiki", "set up knowledge base", "add wiki to this repo", or when starting a new project that needs a wiki. Also triggers when update-wiki or check-wiki is invoked but Wiki/ does not exist yet.

6 11d ago A 72 tokens

journal

32

WolframInstitute/ClaudePluginComputationalResearch

Skill Claude CodeCodex

Optionally maintain a running scientific journal in LaTeX or Typst — a concise, structured, append-only stream of dated def/thm/rem/claim entries recording the math and physics content and main claims established during research, with every resource cited. Off by default; gated by a per-project toggle in CLAUDE.md.…

6 11d ago A 209 tokens

lean

33

WolframInstitute/ClaudePluginComputationalResearch

Skill Claude CodeCodex

Drive a Lean 4 / Mathlib formalization session via the lean-lsp MCP. Opens a file, reads the goal state, searches Mathlib for closing lemmas, verifies proofs, and writes a formalization checklist to Work/. Use when the user says "formalize in Lean", "prove this in Lean", "what's the Mathlib name for X", "check this…

6 11d ago A 99 tokens

new-notebook

34

WolframInstitute/ClaudePluginComputationalResearch

Skill Claude CodeCodex

Create or modify Wolfram Notebooks (.nb) from structured Markdown content using the Wolfram MCP. This is the unified notebook skill — use it for creating new notebooks, editing existing ones, or converting NotebooksLLM/ markdown sources into .nb files. Triggers on: "create notebook", "make a notebook", "notebook about…

6 11d ago A 112 tokens

new-project

35

WolframInstitute/ClaudePluginComputationalResearch

Skill Claude CodeCodex

Scaffold a new project with the wiki-based knowledge management system and perform initial setup. Use whenever the user asks to start a new project, create a new research project, set up a project folder, scaffold a project, begin investigating a new topic, explore something computationally, or create a new paclet.…

6 11d ago A 128 tokens

next-session

36

WolframInstitute/ClaudePluginComputationalResearch

Skill Claude CodeCodex

Run one disciplined work session against a Work/ item: pick the next incomplete task, study the Spec, implement exactly ONE task, append a Progress report, mark the task done, sync durable knowledge to the Wiki, commit, and STOP. Built to be run in a FRESH session each time to avoid context accumulation. Use for…

6 11d ago A 115 tokens

paclet-docs

37

WolframInstitute/ClaudePluginComputationalResearch

Skill Claude CodeCodex

Generate real Wolfram documentation for a paclet — one symbol reference page per exported function, written into the paclet's Documentation tree through the official MCP doc tools so it resolves in-product via ?Symbol, F1, and the Documentation Center. Use when the user says "document the paclet", "paclet docs"…

6 11d ago A 112 tokens

provenance

38

WolframInstitute/ClaudePluginComputationalResearch

Skill Claude CodeCodex

Optionally record the prompts/intent behind generated artifacts — notebooks, paclet functions/code, wiki articles, and work items. Maintains an append-only ledger at Wiki/Prompts.md and embeds a back-pointer in each artifact so provenance travels with the file. Off by default; gated by a per-project toggle in…

6 11d ago A 140 tokens

publish-paclet

39

WolframInstitute/ClaudePluginComputationalResearch

Skill Claude CodeCodex

Build a Wolfram paclet, install locally, and publish to Wolfram Cloud with a public install URL. Use when the user says "publish paclet", "upload paclet", "deploy paclet", "release paclet", "push paclet to cloud", "share the paclet", or "make paclet available".

6 11d ago A 72 tokens

research-notebook

40

WolframInstitute/ClaudePluginComputationalResearch

Skill Claude CodeCodex

Write a mathematics paper as a Wolfram notebook, optimised for a human who wants to check it. Sections run in the order the mathematics needs, and the body carries only settled statements — proved here in full, or cited to a source that was read. Experiments (enumeration ranges, sweeps, distributions, timings) are…

6 11d ago A 348 tokens

revise

41

WolframInstitute/ClaudePluginComputationalResearch

Skill Claude CodeCodex

Human revision workflow for code, functionality, plans, and deliverables. This skill defines how the LLM interacts with the user when producing anything that needs review. It is not invoked directly — it is a protocol that all other skills follow. Read this skill at the start of every session to internalize the…

6 11d ago A 67 tokens

scaffold-paper

42

WolframInstitute/ClaudePluginComputationalResearch

Skill Claude CodeCodex

Scaffold a Paper/ folder with LaTeX (amsart, biblatex) or Typst article templates and a shared preamble, then act as an editor on the user-owned document. Prose written into the paper follows the shared writing guide in research-notebook/style.md: settled statements only, experiments in a Ruliology section, complete…

6 11d ago A 184 tokens

search-math

43

WolframInstitute/ClaudePluginComputationalResearch

Skill Claude CodeCodex

Search external mathematics resources for a topic: MathWorld, nLab, OEIS, DLMF, and Wikipedia math articles. Returns ranked results, optionally hands them to add-resource. Use when the user says "search math", "find on MathWorld", "look up in nLab", "OEIS sequence", "DLMF formula", "search Wikipedia math", or during…

6 11d ago A 93 tokens

search-wolfram

44

WolframInstitute/ClaudePluginComputationalResearch

Skill Claude CodeCodex

Search Wolfram ecosystem resources for a topic: documentation, Function Repository, Community forum, Stephen Wolfram's writings, and the Wolfram Physics Technical Introduction. Downloads notebooks, creates wiki articles, and logs findings. Use when the user says "search wolfram", "find wolfram resources", "wolfram…

6 11d ago A 96 tokens

start-tour

45

WolframInstitute/ClaudePluginComputationalResearch

Skill Claude CodeCodex

Start, resume, or manage a guided tour of the project. Creates an interactive walkthrough with narrative and runnable code for each topic. Use when the user says "start tour", "give me a tour", "continue tour", "where were we", "tour status", or when presenting the project to someone.

6 11d ago A 65 tokens

update-wiki

46

WolframInstitute/ClaudePluginComputationalResearch

Skill Claude CodeCodex

Update the wiki after a substantial change. Creates or updates articles, maintains the index, status, and backlinks. Use after any significant step — code changes, new functionality, completed tasks, discoveries. Triggers on: "update wiki", "log this", or automatically after substantial work. Also invoke proactively…

6 11d ago A 71 tokens

work

47

WolframInstitute/ClaudePluginComputationalResearch

Skill Claude CodeCodex

Create and manage work items in the top-level Work/ folder — each a multi-session effort with a Spec (what to build), a Tasks checklist (one task ≈ one session), and a Progress log. This is the project's execution state, separate from the Wiki knowledge base. Use for: "new work item", "start a work item", "spec out…

6 11d ago A 167 tokens