prolog-reasoner
rikarazome/prolog-reasoner
SWI-Prolog execution for LLMs with CLP(FD), negation as failure and recursion.
- Local integrations
Installation, supported tools and required credentials are maintained by the project.
Project details
- GitHub stars
- 12
- Language
- Python
- License
- MIT
- Forks
- 1
- Latest release
- v0.2.06mo ago
- Activity
- updated 5mo ago
- Platforms listed
- macOS, Windows, Linux
- anthropic
- claude
- llm
- logic-programming
- mcp
- mcp-server
- prolog
- python
First MCP server?Start with the basics
Containerized environments for coding agents: each agent works in its own fresh container and git branch, with execution history and terminal access.
Run untrusted Python/JavaScript code in WebAssembly sandboxes.
Access any API through its existing OpenAPI documentation.
Run JavaScript snippets in isolated Docker sandboxes with on-the-fly npm dependency installation and clean teardown.
JavaScript sandbox that uses V8 isolation to run AI-generated code locally, with heap snapshotting for persistent sessions.
Run LLM-generated code in a YepCode sandbox and create custom MCP tools in JavaScript or Python with npm and PyPI packages.
Access any API via its OpenAPI specification, with full JSON Schema support for parameters and request bodies.
Delegate tasks to other AI providers' models, e.g. ask OpenAI to generate an image.