Skills-4-SE
Full-lifecycle software engineering: testing, verification, debugging, refactoring
All Skills in This Repository (150)
Pure Emerald Level Indicators
ArabelaTsopython-to-dafny-translator
Translate Python programs into Dafny code with formal specifications.
ArabelaTsotechnical-debt-analyzer
Analyze codebases to detect, categorize, and prioritize technical debt.
ArabelaTsorequirement-to-tlaplus-property-generator
Generate TLA+ invariants, safety, and liveness properties from system requirements.
ArabelaTsolsp-refactoring
Refactor code across multiple languages using LSP features and TDD verification.
ArabelaTsodesign-pattern-suggestor
Analyze problem descriptions to recommend software design patterns with code examples.
ArabelaTsobug-localization
Analyze stack traces and error messages to rank suspect bug locations.
ArabelaTsomutation-test-suite-optimizer
Optimize test suites by maximizing mutation kill rates.
ArabelaTsoagent-browser
Automate browser navigation, element interaction, and data extraction via CLI.
ArabelaTsoframework-migration-assistant
Migrate Flask or Django web applications to FastAPI with automated code transformation.
ArabelaTsomocking-test-generator
Generate unit tests with mocks for Python and Java code.
ArabelaTsospecification-driven-generation
Generate implementation code and validation tests from written specifications.
ArabelaTsolemma-discovery-assistant
Analyze failed Isabelle/HOL and Coq proofs to propose auxiliary lemmas.
Frequently Asked Questions
FAQPage SchemaHow to install Skills-4-SE?▼
Run `npx skills add ArabelaTso/Skills-4-SE --all -g -y` in your terminal to install all skills globally. You can also install individual skill packs like the test-automation-suite or bug-fixing-suite separately.
What can Skills-4-SE do for my development workflow?▼
It covers the full development lifecycle: generating code from specifications, creating unit and integration tests, localizing bugs, verifying code with formal methods (TLA+, Dafny, Lean4), detecting security vulnerabilities, and automating DevOps tasks.
How do I generate tests automatically with these skills?▼
Skills like unit-test-generator, req-to-test, and coverage-enhancer analyze your code or requirements and produce complete test suites with edge cases, mocks, and assertions for pytest, JUnit, Jest, and other frameworks.
Does Skills-4-SE support formal verification?▼
Yes. The formal-verification-toolkit includes 17 skills for translating code to Dafny, Lean4, and TLA+, generating loop invariants, discovering proof lemmas, and checking RTL hardware equivalence.
Can I use Skills-4-SE without deep technical expertise?▼
Yes. Once installed, you describe what you need in plain English (like 'find bugs in this code' or 'generate tests for this function') and the skills handle the technical execution automatically.
Related Repositories in Software Engineering
View All in Software Engineering→
openclawopenclaw
Run a personal AI assistant across your devices and chat apps
obrasuperpowers
Gives coding agents a disciplined workflow from idea to merged code
facebookreact
AI agent skills for building, testing, and porting React core