Back to search
Top Contributors
2
commits
Uses beads, souffle, z3 and mcps to give first-order logic powers to your thinking agents
Stars
4
Forks
0
Watchers
4
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
2
commits
Add initial project structure with configuration files, README, and core functionality
269eb35View on GitHub