LLM-powered logical reasoning with Prolog - Calculator for logic
Cross-referenced across 55 tracked directories
#1410
Popularity Rank
4 / 55
Listed In
Growing
Adoption Stage
4/14/2026
Created
12
GitHub Stars
1
Forks
1
Contributors
5/1/2026
Last Commit
Gaining traction in the ecosystem
Cross-Posting Opportunities
Could also be listed in these directories:
Score: 100/100
0 dependency vulnerabilities found
suavecito585
Universal code + logic calculator for AI models: execute 31 languages, evaluate logic, analyze complexity. Exposed via MCP.
...moreHannes Suhr
MCP server exposing MATLAB capabilities to AI agents
Unofficial MCP server: give any AI assistant a code run button via HackerEarth's code execution API
r33drichards
🦀 🏠 🐧 🍎 - A Javascript code execution sandbox that uses v8 to isolate code to run AI generated javascript locally without fear. Supports heap snapshotting for persistent sessions.
...more