snoglobe / prolog_mcpLinks
☆22Updated 6 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:
- explore token trajectory trees on instruct and base models☆148Updated 5 months ago
- Approximating the joint distribution of language models via MCTS☆22Updated 11 months ago
- cli loom that uses git to manage branches☆28Updated 9 months ago
- ☆27Updated last year
- A Model Context Protocol server for Scrapybara☆17Updated 7 months ago
- Utility that copies glob files to the clipboard for easy context gathering for your AI chats.☆35Updated 10 months ago
- ☆40Updated 4 months ago
- Chat with GPT from the terminal, with the ability to execute shell scripts.☆93Updated last year
- OpenAI node support for MCPX☆17Updated 3 months ago
- Official servlets for mcp.run published by @dylibso☆62Updated 3 months ago
- The Road to Reality essay and newsletter source. A journey through computational physics, from eval/apply to the Einstein field equations…☆97Updated 6 months ago
- Dive endlessly deeper into a single concept using AI☆98Updated 6 months ago
- ☆13Updated last month
- A fast minimalistic implementation of guided generation on Apple Silicon using Outlines and MLX☆57Updated last year
- Model Context Protocol (MCP) server for constraint optimization and solving"☆136Updated last month
- ☆106Updated 10 months ago
- Globe Engineer - Handkerchief: A higher quality alternative to vector database RAG.☆24Updated last year
- anything you want can be built with morph cloud☆24Updated 2 weeks ago
- Modify Entropy Based Sampling to work with Mac Silicon via MLX☆49Updated 11 months ago
- ☆21Updated 7 months ago
- A tree-based prefix cache library that allows rapid creation of looms: hierarchal branching pathways of LLM generations.☆72Updated 8 months ago
- 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…☆26Updated last year
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated 2 years ago
- ElizaOS agent powered by Knowledge Graph memories. Based on the ElizaOS plugin enabling integration with the OriginTrail Decentralized Kn…☆38Updated last week
- An MCP server that hosts finite state machines as dynamic resources that multiple clients can subscribe to and be updated when their stat…☆24Updated 2 months ago
- ☆43Updated 4 months ago
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆58Updated last year
- The Prime Intellect CLI provides a powerful command-line interface for managing GPU resources across various providers☆100Updated last week
- this is a TypeScript-based MCP server that implements a simple loom and makes it available for Claude to use.☆21Updated 10 months ago
- EXO Gym is an open-source Python toolkit that facilitates distributed AI research.☆83Updated last month