ags-stp

STP (Simple Theorem Prover), a constraint solver for bitvector and array theories used in binary analysis, symbolic execution, and verification, with SMT-LIB 2 support and SAT solver backends (MiniSat

SKILL.md

GitHub

stp

Author: stp Source: mcp-gamehacking/skills/ags-stp

Description

STP (Simple Theorem Prover), a constraint solver for bitvector and array theories used in binary analysis, symbolic execution, and verification, with SMT-LIB 2 support and SAT solver backends (MiniSat, CryptoMiniSat).

Related in security

git-workflow

Git workflow guidance for commits, branches, and pull requests

by agno-agi
37,144

clerk-observability

Implement monitoring, logging, and observability for Clerk authentication. Use when setting up monitoring, debugging aut...

by jeremylongshore
1,061

juicebox-migration-deep-dive

Advanced Juicebox data migration strategies. Use when migrating from other recruiting platforms, performing bulk data im...

by jeremylongshore
1,061