A deterministic, artifact-derived diagram renderer for Polygraph. Turns the artifacts the suite already produces — the state machine, the invariants, the counterexample, the polyvers compat verdict — into a fixed catalog of clean, brand-consistent SVGs (optional PNG). Same inputs → byte-identical output; no model call.
Search 600,000+ CS/AI/ML papers with LLM novelty analysis, citation graph, full-text extraction, and BibTeX, without leaving Claude Code. Built for literature reviews.
Aristotle AI integration for Lean 4 formalization and code verification. Formalizes mathematical proofs and verifies algorithm correctness with 96.8% accuracy on VERINA benchmark.
Generate matplotlib figures in a soft-pastel, warm-earth, research-blog visual register — bold sans-serif display titles, scatter overlaid with smoothed trends and shaded confidence bands, signature rounded bars, minimal axes, and '↓better' badges. White background by default (conference-ready), with an opt-in warm…
Connect to preclinical research tools and databases (literature search, genomics analysis, target prioritization) to accelerate early-stage life sciences R&D.
10 24d agoA
tokens not measured
copy · 100%Apache-2.0
Drive a live Rocq/Coq proof session through coqtail-mcp. Bundles the skill (server mechanics + proof recipes) and four named subagents (proof-repair, admitted-filler-deep, axiom-auditor, proof-golfer).
Hypha is the AI agent of the Mycelium ecosystem: a connecting filament between engineers and the SysML v2 specification. Provides skills and subagents for KerML/SysML v2 metamodel lookup, standard model library lookup, normative spec citation, and SysML v2 textual-notation validation.
10 11d agoA
tokens not measured
originalApache-2.0
Comprehensive Claude Code plugin for nf-core Nextflow pipeline development. Includes skills for pipeline creation, module management, linting, testing, and release preparation following nf-core best practices.
18 Agent Skills covering the full geospatial data science lifecycle: data engineering, remote sensing, Earth Engine, deep learning, spatial statistics, geostatistics, terrain, networks, LiDAR, trajectories, change detection, MCDA, PostGIS, cartography, and guarded ArcGIS Pro automation.
AI-native scientific research pipeline. Takes a research goal — optionally with a research paper — and autonomously conducts rigorous, multi-step academic research.
Search the PubChem chemical database for compounds, properties, safety data, bioactivity, cross-references, and entity summaries via MCP. STDIO or Streamable HTTP.
LS-DYNA K-file authoring agent: turns natural-language simulation requests into complete, solver-verified .k input decks (crash / drop / penetration / forming / ALE / SPH). Includes local keyword-manual lookup, material library, search-only literature support through a reuse-first academic-search MCP fallback, mesh…
Catch AI-fabricated citations: verifyCitation cross-checks a claimed title against the real record at its identifier, detecting the dominant real-DOI + invented-title pattern (Topaz et al., Lancet 2026) that simple DOI resolution cannot catch. Also checks retraction and open-access status, and resolves eight…
Professional AI/ML research-engineer workflow: research papers first, pick the best method for each problem (computer vision, medical imaging, NLP/LLM, tabular, time-series, audio and speech, recommendation, generative, reinforcement learning, graph, multimodal, video, 3D, and anomaly detection), train and fine-tune…
Social Science Research gives you the tools and workflows to assist with your research. Ideate on topics, perform literature reviews, analyze data, and have agents peer review your work. Based on Pedro Sant'Anna's workflow.