snoglobe / prolog_mcpLinks
☆20Updated 4 months ago
Alternatives and similar repositories for prolog_mcp
Users that are interested in prolog_mcp are comparing it to the libraries listed below
Sorting:
- 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…☆25Updated last year
- explore token trajectory trees on instruct and base models☆134Updated 2 months ago
- ☆20Updated 11 months ago
- Approximating the joint distribution of language models via MCTS☆21Updated 9 months ago
- Chat with GPT from the terminal, with the ability to execute shell scripts.☆93Updated last year
- ☆96Updated 8 months ago
- cli loom that uses git to manage branches☆26Updated 7 months ago
- Dive endlessly deeper into a single concept using AI☆85Updated 3 months ago
- OpenAI node support for MCPX☆16Updated last week
- A Model Context Protocol server for Scrapybara☆15Updated 4 months ago
- Official servlets for mcp.run published by @dylibso☆61Updated 3 weeks ago
- A hot take on Lisp metaprogramming☆119Updated 2 months ago
- Globe Engineer - Handkerchief: A higher quality alternative to vector database RAG.☆25Updated last year
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated 2 years ago
- Evaluate if a task requires human intervention☆14Updated 7 months ago
- A Personal Software Runtime inspired by Emacs, Plan 9, Erlang, Hypermedia, and Unix☆375Updated last week
- ☆55Updated 3 months ago
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆58Updated last year
- A Model Context Protocol server that provides access to Kuzu databases☆25Updated last week
- ☆73Updated this week
- A fast minimalistic implementation of guided generation on Apple Silicon using Outlines and MLX☆55Updated last year
- A browser extension that demos Gemini Nano via window.ai and Cartesia TTS ⚡️☆39Updated last year
- An early preview, and home for feedback, for the soon to be released SDK for the Truffle☆21Updated 7 months ago
- The coding agent for professionals☆89Updated last week
- Mobile voice assistant that can generate UI on the go☆20Updated last month
- A tree-based prefix cache library that allows rapid creation of looms: hierarchal branching pathways of LLM generations.☆72Updated 5 months ago
- ☆19Updated 5 months ago
- Modify Entropy Based Sampling to work with Mac Silicon via MLX☆49Updated 9 months ago
- ☆17Updated 5 months ago
- ☆27Updated 11 months ago