Alternatives and similar repositories for prolog_mcp

Users that are interested in prolog_mcp are comparing it to the libraries listed below

• alexobenauer / Breadboard
  ☆19Updated last year
• vgel / logitloom
  explore token trajectory trees on instruct and base models
  ☆149Updated 6 months ago
• socketteer / gitloom
  cli loom that uses git to manage branches
  ☆30Updated 11 months ago
• doomslide / autoloom
  Approximating the joint distribution of language models via MCTS
  ☆22Updated last year
• benrayfield / wikibinator203
  Lambda called on lambda finds/creates lambda, each with lazy-evaled 256 bit global DAG ids. Each lambda has 2 child lambdas. A kind of nu…
  ☆27Updated last year
• westoncb / latent-langs
  ☆26Updated last year
• jerber / arc-lang-public
  ☆299Updated last month
• Globe-Engineer / handkerchief
  Globe Engineer - Handkerchief: A higher quality alternative to vector database RAG.
  ☆24Updated last year
• morph-labs / morphcloud-examples-public
  anything you want can be built with morph cloud
  ☆25Updated last month
• SpellcraftAI / turing
  Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.
  ☆58Updated last year
• Scrapybara / scrapybara-mcp
  A Model Context Protocol server for Scrapybara
  ☆17Updated 8 months ago
• semiosis / pen.el
  Thoughts on Faith and Judgement
  ☆87Updated last week
• N8python / n8loom
  A tree-based prefix cache library that allows rapid creation of looms: hierarchal branching pathways of LLM generations.
  ☆76Updated 9 months ago
• viemccoy / autoloom
  ☆28Updated 5 months ago
• boorich / mcp-human-loop
  Evaluate if a task requires human intervention
  ☆16Updated 11 months ago
• gvelesandro / constructor-theory-simulator
  ☆68Updated last month
• RichardAragon / HarmonicSwarmIntelligence
  ☆22Updated 9 months ago
• adamnemecek / traceoid.ai
  ☆108Updated last year
• UdaraJay / concept-explorer
  Dive endlessly deeper into a single concept using AI
  ☆99Updated 7 months ago
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆64Updated 2 years ago
• inkandswitch / inkling
  archived prototype for sketching dynamic models
  ☆38Updated 5 months ago
• xjdr-alt / llmri
  look how they massacred my boy
  ☆63Updated last year
• leoshimo / vrs
  A Personal Software Runtime inspired by Emacs, Plan 9, Erlang, Hypermedia, and Unix
  ☆380Updated last week
• varunshenoy / smalltalk
  A browser extension that demos Gemini Nano via window.ai and Cartesia TTS ⚡️
  ☆38Updated last year
• cliffhall / puzzlebox
  An MCP server that hosts finite state machines as dynamic resources that multiple clients can subscribe to and be updated when their stat…
  ☆24Updated 3 months ago
• Kimbsy / autology
  A hot take on Lisp metaprogramming
  ☆124Updated 6 months ago
• LogicalContracts / LogicalEnglish
  ☆41Updated this week
• zarqa-ai / metta-motto
  ☆14Updated 2 months ago
• viksit / selvedge
  Weaving prompts and code into structured, resilient patterns that won't unravel under pressure.
  ☆31Updated 6 months ago
• gbasin / LLM-DB
  LLM-DB: A database powered by language models
  ☆58Updated 2 years ago