theorems-harness
claudecodexTheorem's Harness: GraphQL-first MCP for adaptive planning, context, coordination, execution, validation, memory, and learning.
37 skills · 11 commands · 10 agents · 1 MCP server · hooks
Epistemic engineering plugin organized around the CS disciplines required to build systems for structured understanding — grounded in framework source code and the research_api epistemic engine. Provides 4 workflow commands (/reason, /graph, /encode, /gather) and 12 domain-expert agents across information retrieval, NLP, knowledge representation, graph theory, causal inference, probabilistic reasoning, self-organization, program synthesis, and software architecture.
Plugin scipy-pro from marketplace codex-marketplace in Travis-Gilbert/claude-marketplace. Commands read from the repo's manifest — 1 month ago.
epistemic-engineUse when tasks involve the research_api epistemic engine: evidence intake, claim extraction, contradiction or tension analysis, model comparison, method DSL and execution, promotion pipelines, domain packs, retrieval/embedding/NLI tuning, self-organization loops, or two-mode (Railway vs local/dev) a
/scipy-pro:encodeExecutable knowledge -- from evidence to methods. DSL design, compilation, provenance, promotion pipeline, method execution.
/scipy-pro:gatherAcquisition and training -- from the web to training data. Firecrawl scraping, corpus construction, embedding fine-tuning, evaluation.
/scipy-pro:graphGraph intelligence -- from objects to structure. Community detection, causal inference, self-organization, gap analysis, embeddings.
/scipy-pro:reasonEpistemic reasoning -- from raw text to structured claims, tensions, and models. NLP, NLI, knowledge representation, claim analysis.
causal-inferenceSpecialist in tracing how ideas influenced each other over time. Handles temporal precedence filtering, influence DAG construction, provenance chains, and lineage tracing. Invoke when working on causal_engine.py, provenance.py, engine.py Pass 7, or any code that tracks the temporal evolution of know
claim-analysisSpecialist in propositional reasoning — decomposing text into atomic claims and determining support, contradiction, or neutrality between them. Handles claim decomposition (LLM and rule-based), NLI classification with CrossEncoder, stance detection, and epistemic status tracking. Invoke when working
graph-theorySpecialist in discovering structure within relationship data. Handles community detection (Louvain, Leiden), centrality measures (PageRank, betweenness, eigenvector), Personalized PageRank, structural hole analysis, spectral methods, and DAG construction. Invoke when working on graph.py, community.p
information-retrievalSpecialist in lexical and semantic search over growing corpora. Handles BM25 scoring, TF-IDF weighting, FAISS approximate nearest-neighbor indexes, re-ranking with cross-encoders, query expansion, and reciprocal rank fusion. Invoke when building or modifying any retrieval path — compose_engine searc
knowledge-representationSpecialist in structuring what is known and uncertain. Handles knowledge graph embeddings (PyKEEN RotatE, DE-SimplE), ontology design (ObjectType, ComponentType, promotion pipeline), and epistemic primitives (Claim, Question, Tension, Model, Method, Narrative). Invoke when designing data models, wor
nlp-pipelineSpecialist in extracting linguistic structure from natural language text. Handles NER with spaCy, adaptive entity recognition via graph-learned PhraseMatcher, sentence embeddings (SBERT, E5, Nomic), cross-encoder scoring, and tokenization strategy. Invoke when building or modifying any NLP extractio
probabilistic-reasoningManages uncertainty, confidence decay, and evidence weighting in evolving knowledge graphs. Use when working on edge strength scoring, Bayesian updates, confidence calibration, novelty dial tuning, or any system that must quantify how much it knows vs. how much it guesses. Examples: - <example>User
program-synthesisTurns stored knowledge into executable procedures via a domain-specific language. Use when working on Method definitions, DSL design, rule compilation, method versioning, or any system that bridges captured information and encoded executable knowledge. Examples: - <example>User asks "how do I turn t
self-organizationDesigns and maintains feedback loops that let the knowledge graph modify its own structure safely. Use when working on auto-classification, community clustering, entity promotion, edge decay, emergent type detection, or any system that reorganizes itself based on its own outputs. Examples: - <exampl
software-architectureMakes epistemic systems run reliably in production across constrained and rich runtimes. Use when working on deployment, the two-mode contract, RQ task queues, caching layers, memory budgets, graceful degradation, or any infrastructure concern that affects how the system operates. Examples: - <examp
training-pipelineImproves retrieval, classification, and knowledge graph models from accumulated user data. Use when working on triplet construction, fine-tuning SBERT, active learning, KGE training, evaluation metrics, or any system that learns from the knowledge graph's own data. Examples: - <example>User asks "ho
web-acquisitionGets evidence into the epistemic system from the web. Use when working on content extraction, URL capture, PDF ingestion, Firecrawl pipelines, source typing, corpus construction, or any system that brings external information into the knowledge graph. Examples: - <example>User asks "how do we scrape
Theorem's Harness: GraphQL-first MCP for adaptive planning, context, coordination, execution, validation, memory, and learning.
37 skills · 11 commands · 10 agents · 1 MCP server · hooks
JavaScript expertise plugin with 27 specialist agents covering frontend frameworks, D3.js visualization (force tuning, hierarchy, annotations, clustering, interaction, labels, style presets), Three.js / React Three Fiber / Drei 3D development, and access to real framework source code. Includes skills for JS design patterns, D3 standards, Three.js design, component APIs, and framework migration.
5 skills · 1 command · 27 agents
Intelligence engineering plugin for building systems that learn from their own operation. Successor to SciPy-Pro v4. Provides 7 workflow commands (/reason, /graph, /train, /architect, /simulate, /measure, /learn), 24 domain-expert agents across three tiers, and compound-learning + enrichment-pipeline guidance for EpiGNN, KGE RotatE, SBERT, GL-Fusion, model-swarm routing, and network effects.
1 skill · 7 commands · 24 agents
Animation & motion expertise across four domains: UI motion, creative/generative, 3D animation, and programmatic video. Backed by 21 reference source repos and specialized agents grounded in real implementations.
4 skills · 9 commands · 10 agents
Native iOS and macOS development plugin with deep expertise in SwiftUI, Swift 6 concurrency, SwiftData, XcodeBuildMCP integration, and Apple platform conventions.
12 commands · 9 agents · hooks
Django backend mastery: model architecture, ORM optimization, API design (DRF + Ninja), django-polymorphic patterns, MCP server construction, scientific Python integration, and Pydantic v2 mapping. Source-code-backed with Django ORM internals, DRF, Ninja, django-polymorphic, django-mcp-server, django-model-utils, django-pandas, django-filter, Pydantic v2, PydanticAI, and dj-notebook.
1 skill · 9 commands · 7 agents
Persistent memory for Claude Code: the next session starts where the last one left off.
29 skills · 1 MCP server · hooks
AI-powered codebase understanding — analyze, visualize, and explain any project
9 skills · 10 agents · hooks
Knowledge graph construction — entity extraction, relation mapping, and pathfinder graph traversal
2 skills · 1 command · 1 agent
Code intelligence powered by a knowledge graph. Provides execution flow tracing, blast radius analysis, and augmented search across your codebase.
12 skills · 1 MCP server · hooks
Data engineering, ML, and AI specialists - data pipelines, machine learning, LLM architecture
A Codex-native bridge to Basic Memory for durable engineering context, decisions, and resumable checkpoints.
8 skills · 1 MCP server · hooks
This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.