snoglobe / prolog_mcpLinks
☆23Updated 10 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☆150Updated 8 months ago
- cli loom that uses git to manage branches☆32Updated last year
- 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
- ☆26Updated last year
- ☆19Updated last year
- Approximating the joint distribution of language models via MCTS☆22Updated last year
- Thoughts on Faith and Judgement☆88Updated this week
- A hot take on Lisp metaprogramming☆126Updated 3 weeks ago
- ☆34Updated 2 months ago
- A Personal Software Runtime inspired by Emacs, Plan 9, Erlang, Hypermedia, and Unix☆389Updated 2 weeks ago
- Globe Engineer - Handkerchief: A higher quality alternative to vector database RAG.☆24Updated 2 years ago
- Chat with GPT from the terminal, with the ability to execute shell scripts.☆107Updated last year
- ☆44Updated 7 months ago
- Weaving prompts and code into structured, resilient patterns that won't unravel under pressure.☆30Updated 2 months ago
- A browser extension that demos Gemini Nano via window.ai and Cartesia TTS ⚡️☆38Updated last year
- Dive endlessly deeper into a single concept using AI☆100Updated 10 months ago
- Open notebook for my research in culture science☆79Updated 2 weeks ago
- Grounding LLM mathematical reasoning with proof assistants.☆64Updated 2 years ago
- ☆86Updated this week
- ☆31Updated 7 months ago
- My book materials☆12Updated 5 months ago
- ☆93Updated last week
- look how they massacred my boy☆63Updated last year
- a socketteer/loom reimplementation in obsidian☆44Updated last year
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆58Updated last year
- LLMap solves context extraction for large codebases☆115Updated 11 months ago
- ☆32Updated last month
- Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles☆45Updated 5 months ago
- Model Context Protocol (MCP) server to manage and talk to compliant "Lisply" lisp-speaking backend services☆44Updated last month
- python + pexpect☆72Updated 5 months ago