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
  ☆149Updated 7 months ago
• doomslide / autoloom
  Approximating the joint distribution of language models via MCTS
  ☆22Updated last year
• adamnemecek / traceoid.ai
  ☆109Updated last year
• IDNI / tau-lang
  ☆83Updated last week
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆64Updated 2 years ago
• VictorTaelin / ChatSH
  Chat with GPT from the terminal, with the ability to execute shell scripts.
  ☆107Updated last year
• leoshimo / vrs
  A Personal Software Runtime inspired by Emacs, Plan 9, Erlang, Hypermedia, and Unix
  ☆380Updated last month
• socketteer / gitloom
  cli loom that uses git to manage branches
  ☆31Updated 11 months ago
• westoncb / latent-langs
  ☆26Updated last year
• Dicklesworthstone / model_guided_research
  ☆81Updated last week
• 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
• Globe-Engineer / handkerchief
  Globe Engineer - Handkerchief: A higher quality alternative to vector database RAG.
  ☆24Updated last year
• doomslide / attention-graph
  A graph visualization of attention
  ☆57Updated 7 months ago
• SpellcraftAI / turing
  Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.
  ☆58Updated last year
• zarqa-ai / metta-motto
  ☆14Updated 3 months ago
• MaximeRivest / metakeyai
  ☆44Updated 6 months ago
• OriginTrail / elizagraph
  ElizaOS agent powered by Knowledge Graph memories. Based on the ElizaOS plugin enabling integration with the OriginTrail Decentralized Kn…
  ☆38Updated last month
• semiosis / pen.el
  Thoughts on Faith and Judgement
  ☆87Updated this week
• Kimbsy / autology
  A hot take on Lisp metaprogramming
  ☆125Updated 2 weeks ago
• angrysky56 / mcp-logic
  Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claud…
  ☆37Updated 2 weeks ago
• viemccoy / autoloom
  ☆28Updated 5 months ago
• sacha-ichbiah / outlines-mlx
  A fast minimalistic implementation of guided generation on Apple Silicon using Outlines and MLX
  ☆59Updated last year
• boorich / mcp-human-loop
  Evaluate if a task requires human intervention
  ☆16Updated 11 months ago
• szeider / mcp-solver
  Model Context Protocol (MCP) server for constraint optimization and solving"
  ☆145Updated 3 months ago
• N8python / n8loom
  A tree-based prefix cache library that allows rapid creation of looms: hierarchal branching pathways of LLM generations.
  ☆77Updated 10 months ago
• bobschrag / clolog
  Full-featured logic programming (AKA "Prolog") embedded in/callable from and supporting calls to Clojure. In the spirit of LogLisp, Lisp…
  ☆271Updated last year
• rember / rember-mcp
  A Model Context Protocol (MCP) server for Rember.
  ☆59Updated 9 months ago
• Scrapybara / scrapybara-mcp
  A Model Context Protocol server for Scrapybara
  ☆17Updated 9 months ago
• DefenderOfBasic / PhD
  Open notebook for my research in culture science
  ☆79Updated 9 months ago
• samefarrar / entropix_mlx
  Modify Entropy Based Sampling to work with Mac Silicon via MLX
  ☆49Updated last year