Uses beads, souffle, z3 and mcps to give first-order logic powers to your thinking agents
Cross-referenced across 55 tracked directories
#5795
Popularity Rank
1 / 55
Listed In
Emerging
Adoption Stage
4d
Listed For
3
GitHub Stars
Recently added to the ecosystem
3
GitHub Stars
0
Forks
Score: 100/100
0 dependency vulnerabilities found
59b9f352-8cdc-44d3-9dd9-db3bfa521880
No description available
Mirascope
No description available
yuna0x0
📇 ☁️ - A MCP server integrating AniList API for anime and manga information
browserbase
🎖️ 📇 - Automate browser interactions in the cloud (e.g. web navigation, data extraction, form filling, and more)