namin/holey
Python library for program synthesis and symbolic execution combining constraint solving and LLMs
This is a Python library that helps developers solve complex programming puzzles or find specific code snippets when parts of the solution are missing. You provide Python code with 'holes' and natural language descriptions or formal constraints, and the tool uses a combination of AI and logic solvers to fill in the missing code. It's designed for software developers or researchers working on automated code generation and problem-solving.
Use this if you need to automatically generate missing parts of Python code based on explicit constraints or high-level descriptions, particularly for programming puzzles or satisfiability problems.
Not ideal if you are a non-developer seeking an intuitive, no-code solution for general-purpose problem-solving or if you need to generate entirely new programs from scratch without existing code structures.
Stars
38
Forks
4
Language
Python
License
MIT
Category
Last pushed
Mar 05, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/llm-tools/namin/holey"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
Maximilian-Winter/llama-cpp-agent
The llama-cpp-agent framework is a tool designed for easy interaction with Large Language Models...
mozilla-ai/any-llm
Communicate with an LLM provider using a single interface
CliDyn/climsight
A next-generation climate information system that uses large language models (LLMs) alongside...
ShishirPatil/gorilla
Gorilla: Training and Evaluating LLMs for Function Calls (Tool Calls)
OoriData/OgbujiPT
Client-side toolkit for using large language models, including where self-hosted