Development · benchflow-ai/skillsbench

AC branch pi-model power flow equations (P/Q and |S|) with transformer tap ratio and phase shift, matching acopf-math-model.md and MATPOWER branch fields.

benchflow-ai/skillsbench

A skill your agent uses when erlang's concurrency model including lightweight processes, message passing, process links and monitors, error handling patterns, selective receive, and building…

benchflow-ai/skillsbench

Optimize Python code for reduced memory usage and improved memory efficiency.

benchflow-ai/skillsbench

The gh CLI is GitHub's official command line tool for interacting with GitHub repositories, issues, pull requests, and more.

benchflow-ai/skillsbench

A skill your agent uses for formulating, solving, debugging, and validating mixed-integer linear optimization models with open-source solvers, including variable indexing, sparse constraints…

benchflow-ai/skillsbench

Guide for translating Python classes, inheritance, and object-oriented patterns to Scala.

benchflow-ai/skillsbench

A skill your agent uses when working with Lean 4 (.lean files), writing mathematical proofs, seeing "failed to synthesize instance" errors, managing sorry/axiom elimination, or searching mathlib for…

benchflow-ai/skillsbench

Analyze failed GitHub Action jobs for a pull request. An agent skill from benchflow-ai/skillsbench.

benchflow-ai/skillsbench