Metta OS

This repository contains the documentation for the standard library of the MeTTa language.

The meTTa Language Syntax Highlighter for VSCode is a powerful extension that enhances your coding experience when working with the meTTa programming language.

Fork of asi-alliance/OmegaClaw-Core adding subagent dispatch — a governed delegation primitive that pairs the foundation-model parent with right-sized specialist subagents on local hardware. Measured 4.7× input-token reduction on tool-heavy delegated workloads.

Decentralized Supply Chain Coordination Network - Multi-agent system using Fetch.ai uAgents, SingularityNET MeTTa, and ASI:One Chat Protocol

🏃 What is it?

My first Hackathon project done along with my team mates Pratik Nayak, Akaash Samson Gudlangari, Nihaal Virgincar.We were among the top 7 teams in Goa, out of 80+ teams competing from all colleges in Goa.

LeaTTa: a machine-checked operational semantics and metatheory of MeTTa in Lean 4, with a Verso book.

Website.

This project is a task management and scheduling tool that integrates MeTTa logic with Python. It allows users to add, update, delete, and visualize tasks and their dependencies, and generates an optimal schedule based on priorities and dependencies.

Chatbot AI Puskesmas is an AI-based chatbot system that utilizes Retrieval-Augmented Generation (RAG) technology to help people get health service information from Puskesmas quickly, accurately, and easily understood.

OpenCog Hyperon MeTTa — 7 guided demos of the MeTTa language (successor to OpenCog Atomese). Taxonomy, combinators, types, reasoning, state, spaces, grounded functions. Built on hyperon-experimental.

MeTTa TUI Debugger

Deontic Task Orchestrator for OmegaClaw. Has defeasible event calculus, deontic and temporal reasoning, and agent verifiable work system

AI powered flight route finder using MeTTa and Dijkstra’s algorithm. Users can search routes by cost, time, or stops through a simple Gradio interface. Includes an LLM assistant for natural language queries and route summaries.

A repository that is going to be used for linting errors in metta

A list of challenges I worked as an intern at Icog labs . Explored quadratic programming feature selection, metta langauge and many more..

Fork of PeTTaChainer implementing the operational core of πPLN (paraconsistent PLN): generated local contexts, evidence-count truth values, and contextual reasoning in MeTTa.