mbrotos/claude_sat_solver
Using Anthropic's Claude 3 Opus to solve SAT problems with symbolic tool use.
No commits in the last 6 months.
Stars
1
Forks
—
Language
Jupyter Notebook
License
MIT
Category
Last pushed
Nov 15, 2024
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/llm-tools/mbrotos/claude_sat_solver"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
jahwag/ClaudeSync
ClaudeSync is a Python tool that automates the synchronization of local files with Claude.ai Projects
ggozad/haiku.skills
Skill-powered AI agents implementing the Agent Skills specification with pydantic-ai
selftune-dev/selftune
Skill observability & self-improving toolkit for agent skills.
ducan-ne/opencoder
The Claude Code alternative
op7418/Claude-to-IM
Host-agnostic bridge connecting Claude Code SDK to IM platforms (Telegram, Discord, Feishu)