查詢中

搜尋技能

為您的 Agent 尋找最完美的能力。

結果數
10,480
符合搜尋條件的技能
當前頁
38
共 524 頁
關鍵字
git
按名稱、標籤或描述搜尋
git-workflows
12.8K

git-commit

Draft Angular-style Git commit messages from staged changes and execute `git commit` safely after explicit approval. Use for commit message generation, staged-diff review for commit wording, and Chinese previews of English commit messages.

tisfeng
tisfeng
devops
open
system-admin
12.5K

hooks-automation

Automated coordination, formatting, and learning from Claude Code operations using intelligent hooks with MCP integration. Includes pre/post task hooks, session management, Git integration, memory coordination, and neural pattern training for enhanced development workflows.

ruvnet
ruvnet
tools
open
productivity-tools
12.5K

github-release-management

Comprehensive GitHub release orchestration with AI swarm coordination for automated versioning, testing, deployment, and rollback management

ruvnet
ruvnet
tools
open
productivity-tools
12.5K

github-project-management

Comprehensive GitHub project management with swarm-coordinated issue tracking, project board automation, and sprint planning

ruvnet
ruvnet
tools
open
architecture-patterns
12.5K

github-multi-repo

Multi-repository coordination, synchronization, and architecture management with AI swarm orchestration

ruvnet
ruvnet
development
open
productivity-tools
12.5K

github-workflow-automation

Advanced GitHub Actions workflow automation with AI swarm coordination, intelligent CI/CD pipelines, and comprehensive repository management

ruvnet
ruvnet
tools
open
cicd
12.5K

github-code-review

Comprehensive GitHub code review with AI-powered swarm coordination

ruvnet
ruvnet
devops
open
git-workflows
12.2K

git-workflow-and-versioning

Structures git workflow practices. Use when making any code change. Use when committing, branching, resolving conflicts, or when you need to organize work across multiple parallel streams.

addyosmani
addyosmani
devops
open
framework-internals
12.1K

optimize

Solve constrained optimization problems using Z3. Supports minimization and maximization of objective functions over integer, real, and bitvector domains.

Z3Prover
Z3Prover
development
open
philosophy-ethics
12.1K

prove

Prove validity of logical statements by negation and satisfiability checking. If the negation is unsatisfiable, the original statement is valid. Otherwise a counterexample is returned.

Z3Prover
Z3Prover
lifestyle
open
computational-chemistry
12.1K

simplify

Reduce formula complexity using Z3 tactic chains. Supports configurable tactic pipelines for boolean, arithmetic, and bitvector simplification.

Z3Prover
Z3Prover
research
open
scientific-computing
12.1K

explain

Parse and interpret Z3 output for human consumption. Handles models, unsat cores, proofs, statistics, and error messages. Translates solver internals into plain-language explanations.

Z3Prover
Z3Prover
research
open
testing
12.1K

encode

Translate constraint problems into SMT-LIB2 or Z3 Python API code. Handles common problem classes including scheduling, graph coloring, arithmetic puzzles, and verification conditions.

Z3Prover
Z3Prover
testing-security
open
debugging
12.1K

benchmark

Measure Z3 performance on a formula or file. Collects wall-clock time, theory solver statistics, memory usage, and conflict counts. Results are logged to z3agent.db for longitudinal tracking.

Z3Prover
Z3Prover
tools
open
debugging
12.1K

memory-safety

Run AddressSanitizer and UndefinedBehaviorSanitizer on the Z3 test suite to detect memory errors, undefined behavior, and leaks. Logs each finding to z3agent.db.

Z3Prover
Z3Prover
tools
open
debugging
12.1K

solve

Check satisfiability of SMT-LIB2 formulas using Z3. Returns sat/unsat with models or unsat cores. Logs every invocation to z3agent.db for auditability.

Z3Prover
Z3Prover
tools
open
debugging
12.1K

static-analysis

Run Clang Static Analyzer (scan-build) on Z3 source and log structured findings to z3agent.db.

Z3Prover
Z3Prover
tools
open
project-management
11.6K

developer-assistant

Commitment tracking and workflow automation for software developers — multi-repo GitHub awareness, CI/PR signal extraction, tech debt tracking, coding agent delegation, morning dev brief and weekly retro.

nearai
nearai
business
open
automation-tools
11.6K

commit

Generate git commit messages from staged changes

nearai
nearai
tools
open
productivity-tools
11.6K

github

GitHub API integration via HTTP tool with automatic credential injection

nearai
nearai
tools
open
上一頁
第 38 頁 / 共 524 頁
下一頁