GitHub Repositories

help edit space_dashboard
Draft — This content has not been approved for publication.
ai generated
open_in_full page
fullscreen modal
edit edit
space_dashboard advanced

← Back to Reference

A comprehensive index of GitHub repositories in the Hyperon ecosystem, organized by role and maturity. Covers the 5 primary GitHub organizations and 200+ local checkouts in the reference collection.

This page is the GitHub-facing repository guide for readers who need a fast orientation to the code surface. For the more curated architectural interpretation layer, see Implementation Families. Mirrors, snapshots, and non-GitHub surfaces are intentionally not all listed individually here.

Investor / First-Read Shortlist

RepositoryWhy it mattersRole
hyperon-experimentalMain reference implementation of the MeTTa language and runtime surface.Core language runtime
MORKMost distinctive new substrate work: triemap storage, zipper VM, and reduction kernel experiments.Knowledge substrate
dasCloud-native distributed memory layer and query surface for Hyperon-era systems.Distributed storage
PLNCurrent probabilistic reasoning implementation and rule surface.Reasoning engine
asi-chainOn-chain execution and alliance-facing runtime layer.Blockchain runtime
MeTTa-CompilerPure Rust MeTTaTron evaluator and the strongest current compilation path into the F1R3FLY stack.Compiler / runtime
metta-mosesMain modern MOSES-in-MeTTa line rather than the older C++ codebase.Evolutionary learning
custom-atomspace-builderConcrete domain-facing pipeline showing how Hyperon-style knowledge substrates get used in practice.Application pipeline

At a Glance

SystemPrimary RepositoryRoleStatus
MeTTa Languagehyperon-experimentalCore logic engine; Python, C, and Rust APIsStable
Hypergraph KernelMORKHigh-performance triemap substrate for MeTTaActive Research
Distributed MemorydasCloud-native distributed knowledge graphActive Research
Inference EnginePLNProbabilistic Logic Networks for uncertain reasoningActive Research
Blockchain Runtimeasi-chainASI Alliance on-chain AI execution layerActive Research
Legacy AtomSpaceatomspacePredecessor hypergraph DB; widely deployedMaintained

Organizations

OrganizationFocusRepos
trueagi-ioHyperon core: MeTTa, MORK, PLN, Pattern Mining18
opencogAtomSpace, cogutil, NLP, legacy infrastructure40+
singnetDAS, AIRIS, AI-DSL, SingularityNET services30+
iCog-Labs-DevMOSES, ECAN, bioinformatics, search, MORK SDKs49+
F1R3FLY-ioMeTTaTron, MeTTa-IL, Rholang runtime10+

Core Runtimes

MeTTa language implementations and evaluation engines.

  • trueagi-io/hyperon-experimental β€” Official Rust reference implementation (v0.2.10). Multi-crate workspace with Python/C bindings. Stable.
  • patham9/PeTTa β€” High-performance Prolog-based compiler with Smart Dispatch. Active.
  • F1R3FLY-io/MeTTa-Compiler (MeTTaTron) β€” Rust runtime targeting MeTTa-on-Rholang. Tree-sitter parser; iterative trampoline tree-walk interpreter (not a code generator at HEAD); MORK/PathMap retained for rule storage + pattern-match, HashMap for multiset set-ops (3.5–5.3Γ— speedup over PathMap per the 2025-12-29 benchmark). Rule matching filters to most-specific rules β€” divergent from hyperon-experimental v0.2.10. Direct-Rust Rholang integration via shared f1r3node/models protobuf types (no FFI). At HEAD efee4be (2026-01-19, Cargo v0.2.0, 190 commits ahead of the v0.2.0 Git tag), main is 4 months stagnant but feature branches (feature/wam-backend, feature/pln-support, feat/bind-tokenizer) remained active through 2026-03. Per MeTTa runtime cluster pilot Source 3, closed 2026-05-13: [METTATRON-LAZY-NONDETERMINISTIC-CARTESIAN] / [TREE-WALK-INTERPRETER] / [PARSER-TREE-SITTER] / [STDLIB-EXTENDED-WITH-SET-OPS] / [RHOLANG-DIRECT-RUST-INTEGRATION] / [MORK-PATHMAP-HYBRID-PER-OPERATION] / [ASYNC-PER-EXPRESSION-PARALLEL] / [Q-3-DIVERGENT-SEMANTICS]. Active on branches; main stagnant.
  • trueagi-io/metta-wam (MeTTaLog) β€” Prolog-native dual MeTTa runtime: interpreter (default) + opt-in SWI-Prolog clause compiler/transpiler ("WAM" via SWI's engine, not raw bytecode); hand-written Prolog reader; Prolog-hosted corelib; optional Python/Janus + Hyperon (hyperonpy) bridge; multi-space + RDF persistency; REPL + LSP + Jupyter. Most feature-complete non-Rust runtime. [INTERPRETER-COMPILER-DUAL-RUNTIME] / [COMPILER-OPTIN-INTERPRETER-DEFAULT] / [EVAL-PROLOG-BACKTRACKING-NONDET] / [STDLIB-CORELIB-PROLOG-HOSTED] / [HYPERON-OPTIONAL-VSPACE-BRIDGE] / [WAM-VIA-SWI-PROLOG-HOST]; quirks Q-1 reproduced / Q-2 fixed / Q-3 reproduced. Default branch vnamed HEAD 74dbe9b8 (NOT master, which is stale/divergent). Contributor forks patham9/ngeiswei/zariuq are stale (ngeiswei shares no merge base β€” history artifact, not a tradition). Active (S5 closed 2026-06-08).
  • trueagi-io/jetta (JeTTa) β€” the cluster's first JVM-bytecode-compiled MeTTa runtime: ANTLR (Jetta.g4) frontend + ASM (org.objectweb.asm) backend emitting real .class bytecode; compile-load-invoke REPL; custom JVM Space/Matcher with per-call bindings; gradual types; Kotlin-hosted stdlib. [JVM-BYTECODE-COMPILED-RUNTIME] / [JETTA-ASM-JVM-BYTECODE-PARTIAL] / [JETTA-COMPILE-PLUS-EVAL-EMERGING]; quirks Q-1 not-applicable / Q-2 fixed / Q-3 reproduced. Authors Khudobakhshov + Potapov. main v0.5 HEAD e3849120; active eval-as-runtime work on khud/dev (32 ahead, 2026-06-06). Active (S6 closed 2026-06-08).
  • trueagi-io/metta-morph β€” Macro-based MeTTa-to-Chicken-Scheme translator (10–200x speedup). Active.
  • F1R3FLY-io/MeTTaIL β€” Scala 3.4.1 + BNFC IL/formal-semantics interpreter on Graph-Structured Lambda Theory (GSLTs) + Rust sub-projects (Gillespie stochastic simulator, MeTTaIL2Matrix graph→matrix). Default branch dev at 3343fbe (2026-03-02); main ~10 months stale; frmlbytecode active to 2026-03-30. IL track, not a direct MeTTa runtime. Active (on dev/frmlbytecode; S4 closed 2026-05-15).
  • F1R3FLY-io/mettail-rust β€” Rust-native parallel successor to the Scala MeTTaIL: a language! proc-macro framework that generates, per formal calculus, a PraTTaIL (Pratt + recursive-descent) parser, a Rust-enum AST, and an Ascent (Datalog) rewrite engine. rho-calculus (RhoCalc) is the first-class demo language; carries a real pathmap trie dependency (Adam Vandervorst's crate, scoped to RhoCalc literal/trie ops) and a complete machine-checked Rocq/Coq proof suite (12 .v files, 0 Admitted / 124 Qed). Clean-sheet — no Scala code shared; related to MeTTaIL by GSLT vision, not codebase. Default main at a95726a (2026-05-20); active main + live branches. Zar Goertzel's zariuq/mettail-rust fork (268 behind upstream) carries Lean-export + tree-sitter feature branches. IL/formal-semantics track, not a direct MeTTa runtime. Active (SC-4 Cross-Org Cognitive Repo Sweeps S1, closed 2026-06-09).
  • F1R3FLY-io OSLF / GSLT satellites (SC-4 S2, closed 2026-06-21) β€” the operational-semantics-as-data tooling track around mettail-rust. GSLT (Graph-Structured Lambda Theory) is a declarative calculus-spec notation that is parsed, not executed, outside mettail-rust; these repos are a loose lineage with no shared executable code at HEAD:
    • F1R3FLY-io/hypercube β€” Scala S-expression reader for .gslt theory specs (rho/lambda/ambient); parser-only prototype, no evaluator. [FORMAL-SEMANTICS-SPEC-PARSER]
    • F1R3FLY-io/OSLF β€” README-only design stub ("generators for hypercube + native-types functors for MeTTaIL"). [DESIGN-STUB]
    • F1R3FLY-io/OSLF-editor β€” active Blockly/RhoLang visual block-editor (npm @f1r3fly.io/oslf-editor); standalone authoring tooling. [TOOLING-INFRA]
    • F1R3FLY-io/rho2riscV β€” Meredith spec/paper + a rho-machine reference impl (levels 0–1 implemented, 2–4 future); no RISC-V emitter at HEAD. [COMPILER-SPEC-WITH-REFERENCE-IMPL]
    • F1R3FLY-io/graphl-parser β€” BNFC-generated GraphL parser (C) with Rust/WASM bindings; the org "Graph to RhoLang parser" label is STALE (no rho/GSLT target in source). [TOOLING-INFRA]
    BNFC is the recurring F1R3FLY legacy parser-generator (also Scala MeTTaIL; mettail-rust replaced it with in-house PraTTaIL). mettail-rust's GSLT2rho compilation is branch-only, not HEAD.
  • F1R3FLY-io Era-A Scala research prototypes (SC-4 S3, closed 2026-06-21) β€” archival 2023–24 Scala research underpinning the later Rust mettail-rust line, with a real package dependency chain rhoHDC → Hypervector → MacroLoop:
    • F1R3FLY-io/rhoHDC β€” partial Scala encoder of rho/TinyRho terms into hyperdimensional-computing (HDC) expressions (has unimplemented branches); depends on Hypervector. [NEURAL-SYMBOLIC-HDC-ENCODER]
    • F1R3FLY-io/Hypervector β€” HDC/VSA primitive library (8192-dim bind/bundle/permute); fork-mirror of leithaus/Hypervector; depends on MacroLoop. [HDC-VSA-LIBRARY]
    • F1R3FLY-io/itm β€” "Interacting Trie Maps" research prototype (rho-state + ZAM + zipper); a conceptual cousin of MORK/PathMap with no code dependency. [TRIE-MAP-RESEARCH-PROTOTYPE]
    • F1R3FLY-io/MacroLoop β€” Adam Vandervorst's be.adamv Scala metaprogramming/staging library (fork-mirror); the compile-time base under the HDC stack. [METAPROGRAMMING-LIBRARY-FORK-MIRROR]
    The MORK/PathMap connection runs through Adam Vandervorst — his pathmap crate is an actual (scoped) dependency in mettail-rust, and MacroLoop is the metaprogramming base here — but MORK itself is NOT a code dependency of any SC-4 repo (it is a pathmap-dependency + Vandervorst identity-lineage, not a MORK code merge).
  • rejuve-bio applied-Hyperon biomedical query stack (SC-5 S1, closed 2026-06-21) — an applied biomedical graph-query + graph-building system that uses Hyperon (embeds the MeTTa runtime in-process, clients MORK) rather than implementing it; longevity/bio domain (Rejuve, SingularityNET/ASI-aligned):
    • rejuve-bio/annotation-query-backend — the flagship: a Python/Flask NL→query service that embeds Hyperon MeTTa() in-process (binds a space, load-ascii loads biomedical Data/*.metta, runs generated queries) and offers four selectable backends — MeTTa, Cypher (the checked-in app default), a MORK server adapter, and a MORK-CLI path (README-recommended for production). LLMs are auxiliary (title/summary only, not the query backend). Active. [APPLIED-HYPERON-MULTIBACKEND-QUERY-SERVICE]
    • rejuve-bio/annotation-query-backend-general — a generalized (schema-agnostic) fork of the flagship, stale at main (24 ahead / 258 behind); the live MORK support lives on the feature/mork-support deployment branch (the one the orchestration submodules). A deployment variant, not an independent cognitive line. [STALE-GENERALIZED-FORK-WITH-MORK-DEPLOYMENT-BRANCH]
    • rejuve-bio/custom-atomspace-builder — graph-construction API that transforms tabular bio-data into MeTTa / Neo4j / MORK / NetworkX outputs (LLM schema-suggestion + biomedical-paper triple-extraction in MeTTa/FOL form). Built on vendored Apache HugeGraph Loader (1,720 of 1,755 files are vendored; the rejuve cognitive layer is the 35-file app/). [ATOMSPACE-BUILDER-API-ON-VENDORED-HUGEGRAPH]
    • rejuve-bio/MORK-atomspace-builder — Makefile/Docker/git-submodule deployment that wires the builder + query backend + UI + a MORK server together; no new cognition beyond the integration architecture. [MORK-DEPLOYMENT-ORCHESTRATION]
    • rejuve-bio/annotation-graph — C++ OGDF graph-layout helper (Sugiyama + multi-level layout) for visualizing MOZI-AI annotation-service results; cross-org MOZI/iCog lineage. [VISUALIZATION-LAYOUT-TOOLING]
    The MORK usage here is applied use (an out-of-process client/CLI to a MORK server), not a MORK fork or runtime — see the MORK Research Family map (card 8441) for MORK core; rejuve-bio/MORK itself is a server-ops fork of the covered MORK and is out of scope.
    Agent layer (SC-5 S2, closed 2026-06-21) — the NL/LLM agent tier fronting the query core:
    • rejuve-bio/metta-motto-biochatter — a fork of zarqa-ai/metta-motto (Potapov/sveta's LLM-agent-over-MeTTa framework) extended with a real biochatter RAG/vectorstore biomedical-agent layer. [METTA-MOTTO-LLM-AGENT-FORK-BIO-EXTENDED]
    • rejuve-bio/bio-semantic-parser — an active divergent fork of iCog-Labs-Dev/bio-semantic-parser; multi-stage NLP (fetch/clean/coref → NER/PubTator/negation → Pydantic+Instructor) emitting structured bio-relations for KG ingestion (a legacy v1.0 stage also generates MeTTa S-expressions via fol_to_metta). [ACTIVE-DIVERGENT-FORK-NLP-BIO-EXTRACTION]
    • rejuve-bio/BioClaw — a multi-agent biocurator (Conductor/Assistant/Reasoner) built on OmegaClaw as a runtime overlay (Docker base, not a fork). Code-backed applied PLN: runs MeTTa Truth_Revision (via lib_pln) to merge per-edge evidence STVs, with MORK-staged proposals and a prompt-routed human-approval gate. [APPLIED-MULTI-AGENT-BIOCURATOR-ON-OMEGACLAW]
    Cross-org / runtime notes: rejuve-bio/biochatter-metta is a CI-only mirror of iCog-Labs-Dev/biochatter-metta (the iCog tradition; substantive code attributed there, SC-6). BioClaw's OmegaClaw base belongs to the Mindplex “Claw” family (mettaclaw / OmegaClaw / openclaw) as a runtime dependency + naming convention, not code lineage (SC-7). The platform apps AI-Assistant (AutoGen + KG, non-Hyperon) and chatbot-ALIS (Qdrant clinical RAG, non-Hyperon) are out of the Hyperon line.
    Experiments (SC-5 S3, closed 2026-06-21) — the neuro-symbolic / reasoning research tier, split by paradigm:
    • rejuve-bio/galaxy-htn-neurosym — the only Hyperon-line experiment: an HTN + PLN + LLM neuro-symbolic Galaxy-workflow generator on MeTTa + PeTTa. Partial scaffold at HEAD — the MeTTa domain generation + a PeTTa lib_pln loading test are implemented, but the HTN planner and PLN reasoner packages are empty stubs and the generated truth-values are mock/TODO. [HYPERON-HTN-PLN-METTA-WORKFLOW-GEN-PARTIAL-SCAFFOLD]
    • rejuve-bio/hypothesis-generation-demo — a substantial, active variant→phenotype hypothesis generator on a SWI-Prolog meta-interpreter + Python + LLM stack; zero MeTTa/Hyperon bindings. [PROLOG-LLM-HYPOTHESIS-GENERATION-NON-HYPERON]
    • rejuve-bio/galaxy-link-pred — graph-ML link-prediction notebooks (PyTorch-Geometric GraphSAGE over Neo4j GDS); no MeTTa. [GRAPH-ML-LINK-PREDICTION-NOTEBOOKS-NON-HYPERON]
    SC-5 (Bio / Longevity) subcluster summary (closed 2026-06-21, 3 sources): rejuve-bio is an applied biomedical Hyperon consumer, not a runtime/framework contributor — it embeds MeTTa (the query core), clients MORK, builds on the metta-motto + OmegaClaw runtimes, and runs genuine applied PLN Truth_Revision in BioClaw, while its dedicated planning/reasoning experiment remains a scaffold and its other experiments are non-Hyperon. Cross-org dependencies: iCog-Labs-Dev (biochatter-metta, bio-semantic-parser; SC-6) and Mindplex / OmegaClaw (SC-7).
  • Mindplex / Xcceleran-do applied-Hyperon recommendation stack (SC-7 S1, closed 2026-06-22; S2 Claw family pending) — Mindplex (Xccelerando Media; SingularityNET/ASI-aligned, Goertzel Chief Scientist). The org's only Mindplex-native cognitive repo:
    • Xcceleran-do/Mindplex-Hyperon — an applied Hyperon/PeTTa recommendation + frequent-pattern-mining + PLN-reasoning stack, NOT a classical OpenCog AtomSpace engine (“AtomSpace” is conceptual README/copilot prose; there are no opencog/atomspace imports at HEAD). Same applied-consumer family as the rejuve-bio stack above. The active surface is the demo-PeTTa branch (pin 8fbd847, 2026-06-14); main is stale doc-only (its README points to features/tests/*.metta files absent at HEAD). Hyperon deps = the hyperon pip package + the PeTTa submodule (trueagi-io/PeTTa, the Janus/SWI-Prolog-backed MeTTa runtime); MORK + PathMap appear only as dangling, .gitignored gitlink pointers — not app-used (this is not applied MORK use). Pipeline: Microsoft MIND news-recommendation benchmark ingestion → data.metta (CTR-bucket engagement labels) → an independent native-MeTTa frequent-pattern-miner (ETV truth-values; Apriori/support-style, not the opencog/miner C++ lineage) → a PeTTa backward-chainer wired into a Flask/gunicorn mining + simulation API + AtomSpace-visualizer UI. A standalone MeTTa PLN ruleset (Revision/Modus-Ponens/deduction/induction/abduction, cross-referencing opencog/pln) lives in experiments/PLN/ but is not on the active API path; PLN use stays within the cluster-pilot No-Go boundary (bounded local-chainer semantic queries, not global probabilistic inference). End-to-end partial-but-working (no scaffold stubs, unlike galaxy-htn-neurosym above). Active. [APPLIED-HYPERON-PETTA-RECOMMENDER-MINING-STACK]
      Branch / sub-surface notes: the Neuro-Symbolic branch is a mixed research side-line — mettaMotto is Hyperon (the metta-motto LLM-agent family, cf. rejuve-bio/metta-motto-biochatter above), while DFOL (differentiable ILP, Gao et al. 2022) + RARL + RuDiK are non-Hyperon neuro-symbolic experiments. Other branches (demo-mork, results, demo-ingestion, ASI-main, SYMBOLIC/Evoda) are variant/deploy/doc surfaces.
    • Claw family (SC-7 S2, closed 2026-06-23) — the cross-org multi-agent Claw runtime line (NOT Mindplex-native; Mindplex only forks it). A Hyperon/PeTTa-stack agentic-runtime family. patham9/mettaclaw is the canonical lean MeTTa-native Claw core (~200-line agent loop run from PeTTa; code-backed NAL-1–7 ruleset lib_nal.metta/lib_nal7.metta — Patrick Hammer's NARS/NAL line; embedding long-term memory in AtomSpace format via ChromaDB, remember/query). asi-alliance/OmegaClaw-Core ("OmegaClaw"/Oma) is the larger productized neural-symbolic agent framework on the Hyperon stack (continuous PeTTa loop, channels, agent-managed memory, Telegram/Docker, tested); it carries a real agent-local PLN ruleset (lib_pln.metta — deduction/induction/abduction/revision/modus-ponens, borrowed from trueagi-io/hyperon-pln + opencog/pln) that stays within the PLN No-Go boundary (an applied rule library, not a global PLN system). Lineage: OmegaClaw-Core is a common-root git fork of mettaclaw (shared afbfe9c “Initial commit”, identical early history) that diverged at merge-base 1a7c01e (2026-04-10) into heavy productization (614 commits ahead; current shared-name files have diverged blobs) with active bidirectional cross-pollination (patham9 commits “Updates from OmegaClaw”). [HYPERON-PETTA-CLAW-AGENT-RUNTIME-FAMILY]
      Mindplex forks (stale): Xcceleran-do/mettaclaw is a pure stale mirror (0 ahead / 53 behind patham9); Xcceleran-do/OmegaClaw-Core is 4 ahead / 265 behind, the 4 commits being only an AWS Bedrock LLM-provider integration (BedrockProvider) — no new cognition. [BEDROCK-PROVIDER-DELTA-NON-COGNITIVE] Personal variants leungmanhin/mettaclaw + zariuq/mettaclaw are stale Hammer-line forks; leungmanhin/openclaw + zariuq/vericlaw are a different JS/TS agent tradition (upstreams openclaw/openclaw + godelclaw/vericlaw), not the MeTTa-native Claw line. rejuve-bio/BioClaw (SC-5) builds on OmegaClaw as a runtime overlay. OmegaClaw-Core's home org is asi-alliance (SC-1) — extracted here, cross-referenced (not re-extracted) at SC-1.
    • SC-7 (Mindplex / Xcceleran-do) subcluster summary (closed 2026-06-23, 2 sources): Mindplex contributes two Hyperon/PeTTa-stack applied cognitive surfaces — S1 the Mindplex-native applied recommender / frequent-pattern-mining stack (Mindplex-Hyperon), and S2 the cross-org Claw multi-agent runtime family (canonical at patham9 + asi-alliance; Mindplex only forks it, contributing an AWS Bedrock provider delta). Neither is a Hyperon runtime/framework author in its own right; both are applied/fork consumers of the Hyperon + PeTTa stack.
    • SC-3 (Distributed Compute / NuNet + CUDOS) — HERMES augmentation-tech workflow (closed 2026-06-23, 1 source): the program's first augmentation-tech source under the expanded scope criterion (non-Hyperon-origin tech that augments Hyperon workflows, documented so teams can absorb the workflow). NousResearch/hermes-agent (@807bdc17; MIT, Python) — a mature self-improving LLM agent: closed learning loop (skills-from-experience), pluggable cross-session memory, bidirectional MCP client+server boundary, prompt-cache “narrow waist” discipline, single multi-gateway process, subagents + offline batch trajectories, six deploy backends. Zero Hyperon/MeTTa/AtomSpace/PLN coupling (scoped grep at pin; only false positive a “Metta” meditation term) — a workflow to absorb, NOT a Hyperon component; name-coincidence with the Magi HERMES (card 741). nunet/hermes-agent-lite (@7c2c72a1) — NuNet's thin-image + MCP-delegation adaptation: 7 ahead / 298 behind upstream (merge-base 5aec00f7); entire delta = Dockerfile.lite + README + CI (strips Playwright/ffmpeg/TTS/image-gen ~1.5GB→~400MB, delegates to MCP servers). Full workflow write-up: External Agent Workflows+HERMES Agent Workflow. Boundary-excluded: CUDOS (CudoVentures, 60 repos = Cosmos blockchain/cloud-compute) + NuNet distributed-compute/tokenomics/cardano/frontend infra (non-cognitive plumbing); nunet/misc-experiments/f1r3fly-node → SC-4 F1R3FLY. [NON-HYPERON-SELF-IMPROVING-AGENT-WORKFLOW-TO-ABSORB] / [ZERO-HYPERON-COUPLING] / [THIN-IMAGE-MCP-DELEGATION-ADAPTATION].
    • SC-6 (iCog-Labs) S1 — applied biomedical NL-to-MeTTa stack (closed 2026-06-23): the iCog-Labs-Dev bio carry-in from SC-5. An applied consumer of Hyperon (NOT a runtime/framework author), two functions — QUERY (NL question → MeTTa query) + INGEST (biomedical text/data → MeTTa/FOL atoms). Narrative guard: applied-consumer ≠ string-only. biochatter-metta (@6d395d7b; [HYPERON-RUNTIME-CONSUMER]) is a real Hyperon runtime consumer — hyperon==0.1.6, from hyperon import MeTTa, wraps the LLM-generated query in !(match &self …) + imports the selected BioAtomSpace .metta files + runs it via MeTTa().run() in-process; a from-scratch MeTTa reimplementation of the BioChatter schema-guided-query pattern (emits MeTTa S-expressions, NOT a git fork of biocypher/biochatter). biochatter-metta-server [DJANGO-CHAT-API-WRAPPER] + biochatter-metta-client [SUPPORTING-UI] — the app trio is 2024-era dormant. bio-semantic-parser (@a717ca1d; [ACTIVE-GSE-PUBMED-FOL-TO-METTA-EMITTER]) is the live 2025-11 line: GSE/PubMed abstract + GSM metadata → MedCAT concepts → LLM FOL-like triples → MeTTa list syntax with local regex validation — emit-only, no Hyperon runtime call at HEAD (OpenAI+Gemini providers). Plus bio-data-semantic-parsing [NOTEBOOK-PROTOTYPE] (2025-03 Jupyter precursor) + pubchem2metta [PUBCHEM-RDF-TO-METTA-ETL] (BioCypher MeTTaWriter, no runtime). iCog is the canonical origin; SC-5 rejuve-bio is downstream — rejuve bio-semantic-parser 37/0 ahead (substantive Pydantic-schema/TAXONOMY/retry work), rejuve biochatter-metta 12/0 ahead (CI/dependabot-only mirror); do NOT double-count. [APPLIED-METTA-BIOMEDICAL-NL-KG-CONSUMER-STACK] / [MIXED-COUPLING-RUNTIME-CONSUMER-PLUS-TEXT-EMITTERS] / [ICOG-CANONICAL-ORIGIN-REJUVE-DOWNSTREAM].
    • SC-6 (iCog-Labs) S2 — new iCog-native cognitive (4 distinct lines) (closed 2026-06-23): genuinely-new Hyperon/PeTTa-stack research, classified INDIVIDUALLY (not one cluster). subrep (@d128ba91, active; [SUBREP-CERTIFIED-SKILL-DISCOVERY-HYPERON-CERTIFICATE-STORE]) — the program's first implementation-backed SubRep: a Python RL skill-discovery loop (2-head payoff/motive MLP over MO-LunarLander) with code-backed CDS/PDS admission gates (cite SubRep paper Sec 3.2 Def 1/2) and a REAL Hyperon certificate store (hyperon>=0.2.0; certificate↔MeTTa-Atom bridge, add/query/serialize, round-trip tested). Coupling SCOPED to certificate storage/query (not a full skill-execution runtime). Paper-aligned, NOT AIRIS-derived — closes the HAA S1 [SUBREP-AIRIS-EXTENSION-NOT-SOURCE-SPEC] narrative guard. Full write-up: Publication Maps+SubRep Deep Dive. Qwestor-PeTTa (@7f2b701c; [PETTA-LLM-CONTEXT-ACTION-ROUTER]) — a PeTTa MetaMo-style LLM-context-driven action router (Gemini-2.5-Flash context parse → appraisal/homeostasis/goal-weighting/routing-guards → action selection); pure PeTTa source + Python helpers, no in-repo hyperon runtime; NOT a query/KG system. Pattern-miner-mm2 (@d95b577c; [MM2-SURPRISINGNESS-MINER-PARTIAL-IMPLEMENTATION]) — a tiny MM2/MORK-native surprisingness miner (surp.metta validated vs hyperon-miner isurp-old: 3 pass / 5 blocked on 4-conjunct + N-ary gaps; frequent-miner.metta is an empty stub); a NEW MM2-native experiment, distinct from opencog/miner + hyperon-miner (HAA S3) — do not double-count. PeTTa-OpenPSI (@f59d3c5c; [PETTA-HYPERON-OPENPSI-PORT-WITH-PLN-NARS-USECASES]) — a PeTTa/Hyperon port of the OpenPsi motivation/emotion/action loop (demands/modulators/feeling-updaters) + a metta-trader use-case adding PLN (deduction/conjunction wired; abduction/induction disabled) + NARS (NAL-1); MIXED coupling (hyperon==0.2.3 + Python @register_atoms hooks; borrows TruthValue from hyperon-pln), NOT pure MeTTa. THIRD OpenPsi artifact — the PeTTa-stack successor; cross-link to the OpenPsi pilot (OpenCog-era) + hyperon-openpsi (HAA S2 Python predecessor), do not merge. [ICOG-NATIVE-MIXED-RESEARCH-LINES-SUBREP-IMPLEMENTATION-BACKED].
    • SC-6 (iCog-Labs) S3 — augmentation tech (RAG / MCP / Galaxy tooling) (closed 2026-06-23): the absorb-this tooling around iCog's MeTTa/bio work, classified individually. MeTTa-AI-Assistant (@c85f077f, origin/dev; [METTA-RAG-DEV-ASSISTANT-WITH-FRONTEND-HYPERON-WASM-PLAYGROUND]) — the IN-SCOPE standout: a MeTTa/Hyperon developer assistant whose backend is RAG over MeTTa code/docs (in-house AST chunker, SentenceTransformer embeddings, Qdrant, FastAPI; no hyperon runtime) and whose frontend ships a real Hyperon v0.2.10 WASM playground (Rust→WASM run_metta via hyperon::metta::runner::Metta). MIXED coupling (text-RAG backend + in-browser Hyperon runtime); active (dev 242/0 ahead of stale main). mcp-xp (@b63d7d49; [MCP-GALAXY-MULTI-LLM-BIOBLEND-TOOL-BRIDGE-ZERO-HYPERON]) — a zero-Hyperon Galaxy MCP bridge: both an MCP client (Azure/Groq/Gemini chatbot) AND a FastMCP server (bioblend_server exposing Galaxy tools + a galaxy://whoami resource) wrapping the BioBlend API, plus a Galaxy workflow executor. Absorb-value = the custom-MCP-server + multi-LLM-client pattern (aligns with the team MCP architecture + HERMES SC-3 delegation). galaxy-agent-xp-II (@086c5c52; [GALAXY-LLM-EMBEDDING-RECOMMENDER-ZERO-HYPERON]) — a zero-Hyperon FastAPI Galaxy tool/workflow recommender (SBERT/E5 cosine over Galaxy + IWC-GitHub-workflow metadata + OpenAI/Gemini classification); Galaxy-bioinformatics-specific (boundary). [ICOG-AUGMENTATION-TECH-METTA-RAG-MCP-GALAXY-TOOLS].
    • SC-6 (iCog-Labs) subcluster summary (closed 2026-06-23, 3 sources): iCog-Labs is the foundational ecosystem author + applied developer; most of its 80-repo org was already covered by prior pilots (MOSES/MetaMo/ConceptBlending/ECAN/miner/MORK). The residual spans THREE layers — S1 applied bio NL-to-MeTTa consumer stack (biochatter-metta + bio-semantic-parser; iCog-origin, rejuve-downstream), S2 new iCog-native cognitive research (SubRep impl-backed certificate skill-discovery + Qwestor-PeTTa + Pattern-miner-mm2 + PeTTa-OpenPSI), S3 augmentation tooling (RAG-for-MeTTa + MCP/Galaxy bridge + recommender). The load-bearing guard is PER-REPO coupling: iCog repos routinely name MeTTa/AtomSpace/bio-AI, but the code ranges from in-process Hyperon runtime to MeTTa-text emit/parse-only to zero-Hyperon Galaxy/LLM tooling — verify per repo, do not infer from names/READMEs.
    • SC-2 (Agent Frameworks / fetchai) S1 — uAgents framework + agentverse-skills (SKILL.md) (closed 2026-06-24): augmentation tech (like SC-3 HERMES) — a non-Hyperon decentralized-agent framework + portable-skill workflow to absorb; zero hyperon/MeTTa across all 6 S1 repos (the genuine Hyperon bridge is S2). fetchai/uAgents (@c210bbea, active, tag [DECENTRALIZED-UAGENTS-FRAMEWORK-WITH-ALMANAC-BOUNDARY]) — a decorator-based async agent framework: Agent runtime + on_message/on_interval handlers + typed Protocol/dialogue state machines + crypto identity + Agentverse mailbox transport. Its decentralized USP is the Almanac: agents register/resolve via a CosmWasm smart contract on the Fetch.ai ledger (cosmpy; API-preferred + ledger fallback) — the only blockchain touchpoint, narrow (registration/discovery, not a cognitive chain layer). An experimental ChatAgent runs ASI:One (asi1-mini via litellm) with tool use, and a uagents-adapter ships LangChain / CrewAI / MCP / A2A adapters (code-backed MCPServerAdapter). fetchai/agentverse-skills (@16fab531; [PORTABLE-SKILLMD-AGENTVERSE-WORKFLOW]) — the first SKILL.md-format skills for the Fetch.ai/ASI ecosystem (anthropics/skill-md-spec — the SAME open standard as HERMES SC-3): 8 SKILL.md + 8 runnable scripts (chat/deploy/image-gen/inspect/manage/memory/search/asi1-chat) consumable by AI coding agents (Claude Code/Codex/Cursor/Gemini CLI) via a shared relay that deploys a temp hosted Agentverse agent; asi1-chat = ASI:One LLM, agentverse-memory = an Agentverse Memory MCP service. Ecosystem map: fetchai SDK [legacy, superseded by uagents-core] + ai-engine-sdk-python [AI Engine function-execution] + langchain-uagents [LangChain→uAgent adapter] + AEVS-sdk [tamper-evident HMAC/hash-chain tool-call receipts; LangChain/MCP interception]. Boundary: all S1 = zero-Hyperon augmentation tech; blockchain/ledger/wallet/token (cosmpy/fetchd/agent-launch-toolkit tokenization) excluded; ASI:One/AI-Engine/Agentverse shared with SC-1 asi-alliance. [EXTERNAL-AGENT-FRAMEWORK-AND-SKILL-WORKFLOW-TO-ABSORB]. Full workflow write-up: External Agent Workflows+uAgents Agent Framework.
    • SC-2 (Agent Frameworks / fetchai) S2 — uAgent↔Hyperon-MeTTa bridge examples + A2A/MCP (closed 2026-06-24): the GENUINE Fetch.ai→Hyperon coupling S1 lacked, in fetchai/innovation-lab-examples (@71f35a5b) — example-scoped, NOT a runtime contribution. Three official uAgent chat examples front an IN-PROCESS Hyperon MeTTa knowledge space (from hyperon import MeTTa + MeTTa() + native atoms via metta.space().add_atom(E(S(…))) + metta.run(); hyperon>=0.2.6 + uagents>=0.22.5), each a uAgent + ASI:One LLM (intent/wording) over a MeTTa structured-retrieval layer: web3/singularity-net-metta (Medical RAG; [MEDICAL-UAGENT-HYPERON-METTA-RAG-BRIDGE]), web3/singularity-net-metta-fetch.ai (Fetch/uAgents FAQ RAG; [FETCH-UAGENTS-FAQ-HYPERON-METTA-RAG-BRIDGE]), web3/singularity-net-metta-fetch-financial-advisor-agent (Investment RAG; [FINANCIAL-UAGENT-HYPERON-METTA-RAG-BRIDGE]). The broader A2A (a2a-uAgents-Integration Multiagent-Planner, a2a-cart-store; [UAGENTS-A2A-INTEGRATION-EXAMPLES-ZERO-HYPERON]) and MCP (mcp-agents/ticketlens, anthropic-quickstart/04-mcp-agent; [UAGENTS-MCP-INTEGRATION-EXAMPLES-ZERO-HYPERON]) examples are zero-Hyperon integration patterns. Coupling is narrow: all 13 hyperon hits are inside the 3 bridge dirs, 0 outside; NO AtomSpace/PLN/MORK/PeTTa (MeTTa-space demos, not those runtimes). [UAGENTS-HYPERON-METTA-BRIDGE-EXAMPLES-PLUS-A2A-MCP-INTEGRATION].
    • SC-2 (Agent Frameworks / fetchai) subcluster summary (closed 2026-06-24, 2 sources): [FETCHAI-AGENT-FRAMEWORKS-WITH-NARROW-HYPERON-BRIDGE-EXAMPLES]. Fetch.ai is the ASI-Alliance's decentralized agent-network infrastructure + applied coupler — S1 = external agent-framework infra (uAgents decorator framework + Almanac on-chain discovery + agentverse-skills SKILL.md + MCP/A2A/LangChain adapters), zero-Hyperon augmentation tech to absorb (same anthropics/skill-md-spec standard as HERMES SC-3); S2 = applied coupling (a uAgent fronts an in-process native-atom Hyperon MeTTa space + ASI:One). Fetch.ai does NOT author MeTTa runtime — it provides the decentralized transport/execution pipeline that lets Alliance members (SNET/Hyperon) expose cognitive runtimes. The MCP/A2A integration thread culminates here: HERMES (SC-3) → mcp-xp (SC-6) → uAgents/A2A/MCP (SC-2). Workflow card: External Agent Workflows+uAgents Agent Framework.
    • SC-1 (ASI-Alliance Core / asi-alliance) S1 — agent-LTM utility + OmegaClaw deployment artifacts (closed 2026-06-24): the FINAL subcluster — a THIN close. The asi-alliance org (16 repos) is mostly ASI-Chain blockchain; its cognitive runtime core lives elsewhere (OmegaClaw → SC-7; Hyperon → trueagi-io/singnet, the original cluster pilots). import-knowledge-package (@c82268ec; [AGENT-LTM-CHROMADB-IMPORT-UTILITY-METTA-AS-DATA]) — an agent long-term-memory ingestion utility: distilled knowledge (JSONL + curriculum.metta, read as text) → OpenAI/SentenceTransformer vector embeddings → a ChromaDB “memories” collection (feeds the Max/Oma agents' LTM at /PeTTa/chroma_db). Zero Hyperon runtime (imports chromadb/openai/torch, no hyperon dep) — a clean closing illustration of the program's coupling discipline: the packaged KB data is full of Hyperon/MeTTa/MORK mentions, but the executable importer never runs Hyperon (knowledge-content ≠ code coupling). Oma_folio + Max_folio ([CLAW-AGENT-OUTPUT-FOLIOS-SURVEY-ONLY]) — survey-level artifact/output repos of the SC-7 OmegaClaw/MeTTaClaw agents in production (Oma the crab: 7200+ cycles, MeTTa/NAL/PLN reasoning, sonifications; Max Botnick: NAL-forward-chaining certification reports, hypothesis papers, MeTTa artifacts) — maturity evidence for the SC-7 Claw line, NOT new framework code (cross-ref OmegaClaw-Core → SC-7). Boundary: ASI-Chain (10 repos = F1r3fly blockchain; asi-chain-node → SC-4) + max-music (generative-music album) excluded; ASI:One/AI-Engine/Agentverse → SC-2. [ASI-THIN-CLOSE-AGENT-LTM-UTILITY-PLUS-CLAW-ARTIFACTS].
    • SC-1 (ASI-Alliance Core) subcluster summary + PROGRAM CLOSE (closed 2026-06-24, 1 source): asi-alliance contributes no new cognitive runtime — one agent-LTM ChromaDB utility + the SC-7 OmegaClaw agent deployment artifacts + ASI-Chain blockchain (OUT). This closes the Cross-Org Cognitive Repo Sweeps program (7/7 subclusters): SC-4 F1R3FLY + SC-5 Bio + SC-7 Mindplex + SC-3 Distributed-Compute + SC-6 iCog + SC-2 Agent-Frameworks + SC-1 ASI-Core. Cross-org cognitive map: the orgs adjacent to Hyperon built a modular applied-AI ecosystem around the core (not re-writing the interpreter), organized by recurring threads — (1) LLM-to-MeTTa (NL-to-Query + Text-to-Atom; iCog/rejuve bio stacks); (2) MeTTa-native ports (PeTTa-OpenPSI, MeTTa-NARS, the Claw runtimes); (3) the MCP/A2A integration axis (HERMES → mcp-xp → uAgents); (4) the standardized SKILL.md skills (HERMES + agentverse-skills, anthropics/skill-md-spec); (5) the Claw agent line (mettaclaw/OmegaClaw SC-7, deployed at SC-1). Standout genuinely-new native research: SubRep (iCog SC-6, certificate-driven skill discovery with a real Hyperon certificate store). The load-bearing discipline throughout: per-repo coupling verified at the commit level — in-process Hyperon runtime ↔ MeTTa-text-only ↔ zero-Hyperon LLM/blockchain tooling; names, READMEs, and knowledge-mentions are NOT code coupling. (3-model triangulation: Claude orchestrator + sole writer; Codex citation-grade; Gemini synthesis-only.)
  • Adam-Vandervorst/FormalMeTTa β€” Demo-grade Scala reference for the preliminary (2023) MeTTa spec (author Adam Vandervorst; trueagi-io/FormalMeTTa is HTTP 404, corrected 2026-05-15). Partial: library-only, carries unimplemented ??? holes (e.g. RewriteRules.scala:136). Archival.
  • opencog/atomspace-metta β€” archival classical-AtomSpace bridge stub (Linas Vepstas, all commits 2023-05-11): maps only function declarations onto the classical C++/Scheme AtomSpace via ForeignAST, NOT the Hyperon MeTTa runtime. Core semantics (match/unification, ground, multivalued propagation) pickaxe-confirmed never implemented. [CLASSICAL-ATOMSPACE-BRIDGE-STUB] / [ASMETTA-FUNCTION-DECL-IMPORT-ONLY] / [ASMETTA-CORE-SEMANTICS-UNIMPLEMENTED-CONFIRMED]. On the AtomSpace-Scheme side of the Perception two-stack split. Archival 2023 (S6 closed 2026-06-08).

Cognitive Logic & Reasoning

Inference engines, learning algorithms, and autonomous agent reasoning systems.

  • trueagi-io/PLN β€” Probabilistic Logic Networks (consolidated lib_pln.metta). Active.
  • trueagi-io/pln-experimental β€” Experimental PLN extensions.
  • trueagi-io/chaining β€” Forward/backward chaining, program synthesis, metamath proofs. Active.
  • opencog/miner β€” Legacy symbolic pattern miner (C++/Guile Scheme); URE-based; "Frequent and surprising subhypergraph pattern miner for the AtomSpace". The canonical baseline that the hyperon-miner trio MeTTa-ports. Per Perception cluster pilot Source 2 (2026-05-01): paper-faithful to the Chi/Xia/Yang/Muntz 2005 methodology family. ngeiswei is the upstream maintainer; per Non-clustered HAA cluster pilot Source 3 (2026-05-06), the leungmanhin/singnet/ngeiswei forks are all stale or merged-behind. Maintained.
  • trueagi-io/hyperon-miner β€” MeTTa port of opencog/miner. Pattern mining for frequent/surprising hypergraph patterns. iCog-Labs-Dev/hyperon-miner is the active fork at HEAD; zariuq/hyperon-miner is Zar Goertzel's own fork. Active.
  • rejuve-bio/neural-subgraph-matcher-miner β€” GNN-based neural subgraph pattern miner; SPMiner-lineage; paradigm-distinct from symbolic pattern mining. Per Perception cluster pilot 2026-05-01: [GNN-NEURAL-MINING] / [PARALLEL-NON-INTEGRATED] with hyperon-miner-family symbolic miners. See Neural Pattern Mining. Active.
  • iCog-Labs-Dev/conceptBlending β€” Concept blending implementation repo with four parallel sub-implementations: an_infotheoretic_approach/ (info-theoretic with GA + CMA-ES), peTTa_version/ (PeTTa port with multi-objective CMA-ES), a_categorytheoretic_approach/ (category-theoretic colimit/pushout), a_naive_approach/ (graph matching + GPT prototype). Per Non-clustered HAA cluster pilot Source 4 close 2026-05-07: [CONCEPT-BLENDING-PARTIAL-IMPLEMENTATION] β€” info-theoretic + GA/CMA + category-theoretic colimit branches are [IMPLEMENTATION-BACKED-CORE] at HEAD 9675e5e; quantale + paraconsistent + HoTT-adjacent material is [PAPER-ONLY-FORMAL-EXTENSION]. See Concept Blending. Active.
  • iCog-Labs-Dev/metta-moses β€” Full MeTTa reimplementation of MOSES evolutionary learning. Per Non-clustered HAA cluster pilot Source 5 close 2026-05-07: [ACTIVE-METTA-PRIMARY] at HEAD 9f69e17 (2026-03-26); the canonical Hyperon-era MOSES line. See MOSES. Active.
  • opencog/asmoses β€” AtomSpace-MOSES; the active C++ AtomSpace MOSES baseline. Per HAA Source 5: [ACTIVE-CPP-ATOMSPACE-BASELINE] at HEAD dde4849c4 (2025-12-10). linas/as-moses is byte-identical at the same SHA [VEPSTAS-MIRROR-SAME-SHA] β€” not a separate implementation tradition. Maintained.
  • trueagi-io/hyperon-moses β€” Hyperon-era MOSES boolean-reduction prototype. Per HAA Source 5: [SUPERSEDED-BY-METTA-MOSES] for general MOSES; retained as boolean-reduction / ENF-pipeline prototype. P12-verified 27 commits ahead of ngeiswei/hyperon-moses older sibling. Active.
  • opencog/moses β€” Legacy C++ MOSES implementation (the 2008-era pre-AtomSpace original; README explicitly notes "kept to guaranty backward compatibility" and points to AS-MOSES). Per HAA Source 5: [ARCHIVAL-PARADIGM-PREDECESSOR] β€” last commit 2023-09-19. Archival.
  • MOSES stale lineage (HAA Source 5 V5-9 lump; orchestrator-verified P12 verbatim counts): leungmanhin/asmoses [STRICT-FORK-STALE] (0 ahead / 107 behind); singnet/asmoses [STRICT-FORK-STALE-MERGED-UPSTREAM] (7 ahead = merge-sync metadata / 165 behind); singnet/moses [STRICT-FORK-DIVERGED-LEGACY-FIXES] (19 ahead / 23 behind). None contribute new traditions. iCog-Labs-Dev/moses-optimization-algorithms is [STANDALONE-EXPERIMENT-NOT-FORK] β€” independent commit history (Initial commit / hill climbing / simulated annealing / Nahom32 PR), not derived from asmoses or moses.
  • iCog-Labs-Dev/metta-attention β€” MeTTa-based ECAN with mind agents. Active.
  • opencog/attention β€” Legacy ECAN (C++). Archival.
  • iCog-Labs-Dev/hyperon-openpsi β€” OpenPsi motivational framework substrate (MeTTa); the operational predecessor of MetaMo. Per Non-clustered HAA cluster pilot Source 2 close 2026-05-06: [OPENPSI-PREDECESSOR-SUBSTRATE] β€” at HEAD 3b356c5 contains zero MetaMo/MAGUS naming, so this is NOT a MetaMo strict-literal implementation; the appraisal comonad in MetaMo abstracts this substrate at one level higher. See MetaMo. Active.
  • glicerico/MetaMo-Prototype β€” Heuristic LangGraph/LLM rewrite of motivational dynamics; Python; forked from dagemawinegash/MetaMo-Prototype. Per Non-clustered HAA cluster pilot Source 2 close 2026-05-06: [HEURISTIC-PROTOTYPE] β€” no formal categorical structure; targeted searches at HEAD for "bimonad" / "comonad" / "MAGUS" / "OpenPsi" return zero matches. Parallel-paradigm to MetaMo-Python. Active.
  • patham9/metta-nars β€” Non-Axiomatic Reasoning System in MeTTa. Per Non-clustered HAA cluster pilot Source 5 close 2026-05-07: [IMPLEMENTATION-BACKED-NAL1-5] / [METTA-NARS-NOT-PLN] at HEAD 945e2f8 (2024-10-14); ONA-style NARS port with f/c truth values. Paradigm-distinct from PLN β€” cross-link as boundary, not as alternative implementation. See MeTTa-NARS. Active.
  • patham9/NACE β€” Non-Axiomatic Causal Explorer. Per Non-clustered HAA cluster pilot Source 5 close 2026-05-07: [IMPLEMENTATION-BACKED-CORE] / [AIRIS-DERIVED-NAL-ADJACENT] / [NACE-NOT-AIRIS] at HEAD 361fddf (2025-05-06); pure-Python (no src/ or C++; PyQt GUI in gui.py); extends AIRIS apparatus with partial observability + NAL evidence; bridges to MeTTa-NARS via bridge.py. The "1000x data efficiency" framing should be paper-sourced if retained. See NACE. Active.
  • berickcook/AIRIS_Public β€” Autonomous Intelligent Reinforcement Inferred Symbolism (Cook & Hammer 2024). Cook's reference / stable builds; the paper-cited canonical implementation (Cook & Hammer 2024 footnote 3). Per Non-clustered HAA cluster pilot 2026-05-06: previously misattributed here to singnet/AIRIS_Public (HTTP 404); URL corrected at cluster-close. Active.
  • singnet/AIRIS-general β€” Cook's SingularityNET-side generalized rewrite of AIRIS; pure-Python single-file library accepting structured/unstructured JSON inputs. MIT. Active.
  • singnet/ai-dsl β€” AI Domain Specific Language for composing AI services. Per Non-clustered HAA cluster pilot Source 5 close 2026-05-07: [ACTIVE-IDRIS-DSL] / [AI-DSL-DUAL-CITIZEN] at HEAD aaa702e (2025-06-25); two implementation tracks β€” Idris dependent-types layer (77 .idr files in experimental/ai-algorithms/) and MeTTa combinator/ontology layer (30+ .metta files in experimental/ai-service-composition/). Center of gravity is service composition for the SingularityNET marketplace; the MeTTa combinator track is the HAA-relevant slice. NOT a core cognitive algorithm comparable to PLN/ECAN/MOSES/NARS. See AI-DSL. Active.
  • Semantic parsing repo trilateral (per Non-clustered HAA cluster pilot Source 4 close 2026-05-07; previously cited singnet/semantic-parsing here returned HTTP 404 and was corrected to this trilateral set):
    • rTreutlein/semantic_parsing β€” Canonical upstream; Python LLM-driven NL β†’ predicate logic / MeTTa pipeline. Active.
    • leungmanhin/semantic_parsing β€” Active fork-derived primary; primary committers Leung Man Hin and Roman Treutlein. Active.
    • leungmanhin/semantic-parser β€” Separate dashed-name Hyperon/PeTTaChainer line (no upstream remote configured); PLN expression guidance + Premises/Conclusions syntax. Active.
    Per HAA Source 4: [SEMANTIC-PARSING-SPLIT-STACK] β€” these are LLM-to-PLN/MeTTa, NOT wrappers around classical Link Grammar / RelEx (which see under Natural Language Processing). See Semantic Parsing.
  • zarqa-ai/metta-motto β€” LLM agent integration library (OpenAI, Anthropic, OpenRouter). Active.

Infrastructure & Storage

Hypergraph databases, storage backends, and distributed data infrastructure.

  • trueagi-io/MORK β€” MeTTa Optimal Reduction Kernel. Triemap DB + zipper VM. Nightly Rust. Active research.
  • opencog/atomspace β€” Classical AtomSpace hypergraph database (C++/Scheme/Python). Maintained.
  • singnet/das β€” Distributed AtomSpace with Bazel build and multiple backends. Active.
  • singnet/das-metta-parser β€” C Flex/Bison MeTTa parser for DAS (MongoDB/Redis).
  • singnet/das-toolbox β€” CLI tools for DAS infrastructure.
  • opencog/atomspace-rocks β€” RocksDB persistent backend for AtomSpace; per AtomSpace cluster pilot 2026-04-29, this is the Phase 5+ primary durability candidate for Hyperon, with MORK-PATH as secondary (delete-blocker) and DAS-PATH for Phase 6+ distribution. Maintained.
  • opencog/atomspace-cog β€” Distributed AtomSpace network client.
  • opencog/atomspace-storage β€” Base StorageNode API and I/O subsystems.
  • opencog/atomspace-bridge β€” SQL-to-AtomSpace read/write bridge.
  • singnet/pattern-index (forked from opencog/pattern-index) β€” Disk-based AtomSpace pattern indexing with C++/Scheme APIs; "an index for fast lookup of patterns in the AtomSpace". Has its own pattern-mining algorithms but is NOT a wrapper around the PatternMatcher or PatternMiner. Per Non-clustered HAA cluster pilot Source 3 close 2026-05-06: [PATTERN-INDEX-SEPARATE-PARADIGM-ADJACENT] β€” adjacent legacy infrastructure to Pattern Mining, distinguished by RAM-only AtomSpace mining (the symbolic paradigm) vs disk-based subgraph indexing (this repo). Maintained / Archival.
  • Adam-Vandervorst/CZ2 β€” Scala 3 triemap toolkit and MORK scaling experiments.
  • iCog-Labs-Dev/mork-rust-sdk β€” Rust SDK for MORK API.
  • iCog-Labs-Dev/mork-ts-sdk β€” TypeScript SDK for MORK HTTP API.

Distributed AI & Blockchain

On-chain execution environments and decentralized AI infrastructure.

Applied AI & Vertical Applications

Domain-specific applications of Hyperon capabilities in longevity research, bioinformatics, and enterprise AI.

Simulated Environments & Agents

Agent frameworks, virtual environments, and embodied AI testbeds.

  • trueagi-io/Vereya β€” Minecraft 1.21 Fabric mod for AI agent control (Java 21). Active.
  • trueagi-io/minecraft-demo β€” Python API for Minecraft AI agents via Vereya. Active.
  • opencog/rocca β€” Rational OpenCog Controlled Agent (OpenAI Gym). Research.
  • opencog/sensory β€” Low-level sensory I/O Atoms (C++). Part of Linas Vepstas's Hyperon-era AtomSpace-Scheme research portfolio (per Perception cluster pilot 2026-05-01); 7 wired sensory atom types incl. OllamaNode dual-characterization. See Sensory. Active research (status updated from "Archival" per Perception pilot).
  • opencog/agents β€” Agent atoms; Vepstas Hyperon-era research portfolio sibling to opencog/sensory. Active research.
  • opencog/motor β€” Motor-output atoms; Vepstas Hyperon-era research portfolio sibling. Active research.
  • opencog/evidence β€” Evidence-tracking atoms; Vepstas Hyperon-era research portfolio sibling. Active research.
  • opencog/atomese-simd β€” SIMD-vector operations on AtomSpace; Vepstas Hyperon-era research portfolio sibling. Active research.
  • opencog/vision β€” Vision atoms scaffolding (6 wired types: ImageNode/ImageValue + 4 ImageLink ops). Per Perception cluster pilot 2026-05-01: [SCAFFOLDING-NOT-PIPELINE]. See Vision. Scaffolding.
  • opencog/spacetime β€” 4D spacetime tracking in AtomSpace (C++). Archival.
  • opencog/ros-behavior-scripting β€” Hanson Robotics Eva API (Python/Scheme). Archival.
  • opencog/ghost_bridge β€” ROS bridge for GHOST chatbot system. Archival.
  • patham9/nartech_ros β€” NARS + ROS robot integration. Active.

Developer Ecosystem

Tools, training materials, IDE support, and integration utilities for MeTTa developers.

Natural Language Processing

  • opencog/link-grammar β€” CMU Link Grammar parser (C). v5.13.1. Active maintenance per Non-clustered HAA cluster pilot Source 4 close 2026-05-07. Maintained.
  • opencog/relex β€” English dependency relationship extractor (Java). v1.6.3 circa 2016. Per HAA Source 4: maintained-legacy-dependency-parser; recent commits are dependabot maven dependency bumps, NOT algorithmic modernization. Archival.
  • opencog/learn β€” Neuro-symbolic language learning (Scheme); Atomese LG-based parsing framework with MST/MPG parses; recent neuro-LG.lyx diary. Active research.
  • opencog/generate β€” Network generation from syntax (C++); AtomSpace-based lexical entries. Active.
  • opencog/lg-atomese β€” Atomese API for Link Grammar.
  • opencog/matrix β€” AtomSpace sparse vector/matrix library (Scheme).
  • rTreutlein/nl2pln_demo β€” Natural language to PLN conversion demo (2 commits, demo-only). Per HAA Source 4: [DEMO-NOT-PIPELINE].

Knowledge Converters & Pipelines

Visualization

Research & Experimental

Legacy Classical-Stack Infrastructure

Core C++ framework components. Maintained for AtomSpace compatibility; not the Hyperon-forward path.

Community Resources

Related cards: Implementation Families Β· Technical Companions Β· TrueAGI Β· iCog Labs



Discussion