mbrotos/claude_sat_solver
Using Anthropic's Claude 3 Opus to solve SAT problems with symbolic tool use.
17
/ 100
Experimental
No commits in the last 6 months.
Stale 6m
No Package
No Dependents
Maintenance
0 / 25
Adoption
1 / 25
Maturity
16 / 25
Community
0 / 25
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
63
SynaLinks/synalinks-skills
Claude skills for Synalinks OSS
54
ducan-ne/opencoder
The Claude Code alternative
53
ggozad/haiku.skills
Skill-powered AI agents implementing the Agent Skills specification with pydantic-ai
50
op7418/Claude-to-IM
Host-agnostic bridge connecting Claude Code SDK to IM platforms (Telegram, Discord, Feishu)
50