code-completion-semantic-constraints

Automatically complete partial code snippets while satisfying semantic constraints including variable types, invariants, pre/post-conditions, interface contracts, and expected input/output behavior. Use when users provide incomplete code with specific requirements like "complete this function that takes a list and returns sorted unique elements" or "fill in this method body that must maintain the invariant that x stays positive" or "implement this interface method with these type constraints." Produces compilable, executable code with tests and a constraint satisfaction report.

1.02x

Quality

81%

Does it follow best practices?

Impact

95%

1.02x

Average score across 3 eval scenarios

Securityby

Passed

No known issues

Evaluation results

100%

Data Pipeline Deduplication Module

Three-component output with type and behavioral constraints

Criteria

Without context

With context

Three components present

100%

Type annotations used

40%

100%

Necessary imports present

100%

Behavioral constraint satisfied

100%

Edge case handled

100%

Tests cover type constraints

100%

Tests cover behavioral constraints

100%

Appropriate test framework

100%

Report maps constraints to code

100%

Report documents assumptions

100%

Minimal complexity

100%

94%

-6%

Shared In-Process Cache for a Web API

Interface contract and performance constraints with verification tests

Criteria

Without context

With context

Three components present

100%

All interface methods implemented

100%

Thread-safety mechanism

100%

LRU eviction policy

100%

Capacity enforcement

100%

Missing key behavior

100%

Tests cover interface contract

100%

77%

Tests cover eviction

100%

77%

Tests cover concurrency

100%

75%

Report maps interface to implementation

100%

Report notes assumptions or trade-offs

100%

91%

Account Balance Update Module

Pre/post-condition invariant preservation with constraint satisfaction report

Criteria

Without context

With context

Three components present

100%

NULL pre-condition check

100%

Non-negative balance pre-condition

Post-condition invariant preserved

100%

Clamping logic correct

100%

Tests verify pre-condition violations

100%

Tests verify post-condition

100%

Tests cover edge case: zero amount

100%

Report maps constraints to code

100%

Report explains trade-offs or assumptions

44%

100%

Language idioms followed

100%

Repository: ArabelaTso/Skills-4-SE
Commit: 0f00a4f

Evaluated: 29 days ago
Agent: Claude Code
Model: Claude Sonnet 4.6

Table of Contents

Data Pipeline Deduplication Module Shared In-Process Cache for a Web API Account Balance Update Module

Is this your skill?

If you maintain this skill, you can claim it as your own. Once claimed, you can manage eval scenarios, bundle related skills, attach documentation or rules, and ensure cross-agent compatibility.