Autoresearch for SAT Solvers (github.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of github.com: Autoresearch for SAT Solvers

First screen, captured 7 months ago.

Looks similar

Screenshot of github.com: Show HN: Klaw.sh – Kubernetes for AI agents

Show HN: Klaw.sh – Kubernetes for AI agents (github.com)

48 points by eftalyurtseven 8 months ago | 33 comments

Screenshot of github.com: Show HN: Slack CLI for Agents

Show HN: Slack CLI for Agents (github.com)

90 points by nwparker 8 months ago | 28 comments

Screenshot of github.com: Show HN: ssh-tpm-agent – SSH agent for TPMs

Show HN: ssh-tpm-agent – SSH agent for TPMs (github.com)

65 points by Foxboron 3 years ago | 22 comments

Screenshot of github.com: Show HN: AgentSwift – Open-source iOS builder agent

Show HN: AgentSwift – Open-source iOS builder agent (github.com)

36 points by hpen 6 months ago | 7 comments

Screenshot of github.com: Show HN: AgentState – Lightweight state manager for multi-agent AI workflows

Show HN: AgentState – Lightweight state manager for multi-agent AI workflows (github.com)

3 points by boulevard 1 year ago | 0 comments

Screenshot of github.com: Show HN: AgentKit – JavaScript Alternative to OpenAI Agents SDK with Native MCP

Show HN: AgentKit – JavaScript Alternative to OpenAI Agents SDK with Native MCP (github.com)

50 points by tonyhb 1 year ago | 11 comments