Alternatives and similar repositories for prolog_mcp

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

• vgel / logitloom
  explore token trajectory trees on instruct and base models
  ☆150Updated 7 months ago
• 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…
  ☆28Updated last year
• leoshimo / vrs
  A Personal Software Runtime inspired by Emacs, Plan 9, Erlang, Hypermedia, and Unix
  ☆386Updated last month
• alexobenauer / Breadboard
  ☆19Updated last year
• westoncb / latent-langs
  ☆26Updated last year
• doomslide / autoloom
  Approximating the joint distribution of language models via MCTS
  ☆22Updated last year
• semiosis / pen.el
  Thoughts on Faith and Judgement
  ☆87Updated this week
• VictorTaelin / ChatSH
  Chat with GPT from the terminal, with the ability to execute shell scripts.
  ☆107Updated last year
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆64Updated 2 years ago
• adamnemecek / traceoid.ai
  ☆109Updated last year
• Kimbsy / autology
  A hot take on Lisp metaprogramming
  ☆125Updated last month
• socketteer / gitloom
  cli loom that uses git to manage branches
  ☆31Updated last year
• IDNI / tau-lang
  ☆84Updated this week
• Globe-Engineer / handkerchief
  Globe Engineer - Handkerchief: A higher quality alternative to vector database RAG.
  ☆24Updated 2 years ago
• zarqa-ai / metta-motto
  ☆14Updated 4 months ago
• viksit / selvedge
  Weaving prompts and code into structured, resilient patterns that won't unravel under pressure.
  ☆31Updated last month
• gvelesandro / constructor-theory-simulator
  ☆69Updated 3 months ago
• jeprinz / pantograph
  ☆101Updated 11 months ago
• morph-labs / morphcloud-examples-public
  anything you want can be built with morph cloud
  ☆26Updated 3 months ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆136Updated last week
• viemccoy / autoloom
  ☆29Updated 6 months ago
• Scrapybara / scrapybara-mcp
  A Model Context Protocol server for Scrapybara
  ☆17Updated 10 months ago
• socketteer / loomsidian
  a socketteer/loom reimplementation in obsidian
  ☆43Updated 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…
  ☆25Updated 4 months ago
• jerber / arc-lang-public
  ☆312Updated last month
• lsd-so / lsd-mcp
  LSD Model Context Protocol
  ☆64Updated 9 months ago
• djgish485 / ballistic-ai
  Prompt-based software development
  ☆23Updated last year
• sacha-ichbiah / outlines-mlx
  A fast minimalistic implementation of guided generation on Apple Silicon using Outlines and MLX
  ☆59Updated last year
• markburgess / SSTorytime
  Semantic Spacetime Story graph database library over postgresql (SSTorytime)
  ☆133Updated last week
• kuzudb / kuzu-mcp-server
  A Model Context Protocol server that provides access to Kuzu databases
  ☆37Updated 3 months ago