en un clic
data-analysis
// Load, analyze, and visualize datasets using pandas with AG Grid display. Use when the user asks to analyze CSV data, explore a dataframe, create charts, filter tabular data, or display spreadsheet-like results.
// Load, analyze, and visualize datasets using pandas with AG Grid display. Use when the user asks to analyze CSV data, explore a dataframe, create charts, filter tabular data, or display spreadsheet-like results.
Core academic workspace tools: LaTeX compilation, Jupyter execution, PDF loading, UI control, content updates, and arXiv paper conversion. Use when the user asks to compile LaTeX, run Python code, load PDFs, display data, or control workspace editors.
Read and analyze arXiv papers by fetching LaTeX source, listing sections, or extracting abstracts. Use when the user mentions arXiv, research papers, preprints, paper IDs like 2301.xxxxx, or wants to read academic publications.
List installed skills, search the skill registry, install new skills, and manage workspace extensions. Use when the user asks to find, install, list, or configure skills, or mentions skill registry, extensions, or workspace capabilities.
Verify proofs, check theorem correctness, and solve satisfiability problems using Lean 4, Coq, and Z3 SMT solver. Use when the user asks to prove theorems, verify mathematical proofs, check logical satisfiability, or work with proof assistants.
Browse trending papers, search by keyword, and get paper details from Hugging Face Papers. Use when the user wants to find ML research, asks about recent AI papers, trending models, or mentions Hugging Face Papers.
Compile LaTeX documents to PDF using pdflatex, xelatex, or lualatex with template support. Use when the user asks to compile .tex files, build a LaTeX document, generate PDF from LaTeX, or typeset an academic paper.
| name | data-analysis |
| description | Load, analyze, and visualize datasets using pandas with AG Grid display. Use when the user asks to analyze CSV data, explore a dataframe, create charts, filter tabular data, or display spreadsheet-like results. |
Load data files (CSV, XLSX, JSON, Parquet) into the AG Grid viewer, run pandas queries, save results, and generate visualizations.
data_list - List available data files in /workspace/data/data_load - Load a data file into AG Grid (returns markdown preview for context)data_query - Execute pandas operations on loaded data (filter, aggregate, transform)data_save - Save the current DataFrame to a filejupyter_execute - Execute Python code in Jupyter kernel (for plots and complex analysis)update_notebook - Add cells to Jupyter notebookupdate_gallery - Display generated plots in the galleryFor tabular data exploration, use the data tools which provide a spreadsheet-like experience:
data_list to see what's in /workspace/data/data_load to read a file and display in AG Grid
data_query to run pandas operations
df variable contains the loaded dataresult = ... to define outputdata_save to export to CSV/XLSXFor visualization, statistical analysis, or ML, use Jupyter tools:
jupyter_execute running pandas codeupdate_galleryWhen user says: "Analyze this dataset" or "Show me the data"
data_list to find available filesdata_load with the target filedata_query with result = df.describe() for statisticsWhen user says: "Show only rows where X > Y" or "Group by category"
data_query with pandas filter/groupby codeWhen user says: "Export this" or "Save as Excel"
data_save with desired filename and formatWhen user says: "Create a chart" or "Plot the distribution"
jupyter_execute with matplotlib/seaborn codeupdate_galleryresult = df[df['score'] > 90]
result = df.groupby('category').agg({'value': ['mean', 'sum', 'count']}).reset_index()
result = df.sort_values('date', ascending=False)
df['ratio'] = df['value_a'] / df['value_b']
result = df
result = df.describe()
result = df.dropna(subset=['important_column'])