badrabbitt/leanrigor

Less context. Full engineering rigor. A local-first, cross-agent engineering harness that cuts tool context without dropping required engineering gates.

0Stars on the repository
12Mods indexed here, across every type
8d agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown

huge

01

badrabbitt/leanrigor

Skill Claude CodeCodex

A skill whose declared context budget exceeds any reasonable routing budget.

0 8d ago A 15 tokens original Apache-2.0

spec-first

02

badrabbitt/leanrigor

Skill Claude CodeCodex

Requires an approved written specification before any test or implementation work starts.

0 8d ago A 16 tokens original Apache-2.0

tdd-only

03

badrabbitt/leanrigor

Skill Claude CodeCodex

Requires a failing test before any implementation code is written, for every change.

0 8d ago A 19 tokens original Apache-2.0

alpha

04

badrabbitt/leanrigor

Skill Claude CodeCodex

First half of a dependency cycle used to prove the router detects one.

0 8d ago A 16 tokens original Apache-2.0

beta

05

badrabbitt/leanrigor

Skill Claude CodeCodex

Second half of a dependency cycle used to prove the router detects one.

0 8d ago A 16 tokens original Apache-2.0

verification

06

badrabbitt/leanrigor

Skill Claude CodeCodex

A second, differently authored skill that claims the same name, which must be reported rather than silently shadowed.

0 8d ago A 24 tokens original Apache-2.0

badrabbitt/leanrigor

Skill Claude CodeCodex

A skill whose provenance record claims copied files but names no source, license or notice.

0 8d ago A 24 tokens original Apache-2.0

something-else

08

badrabbitt/leanrigor

Skill Claude CodeCodex

The declared name does not match the directory it lives in, so routing would be ambiguous.

0 8d ago A 22 tokens original Apache-2.0

no-license

09

badrabbitt/leanrigor

Skill Claude CodeCodex

A skill that omits its license, which blocks distribution review.

0 8d ago A 16 tokens original Apache-2.0

badrabbitt/leanrigor

Skill Claude CodeCodex

Explore the problem, users, alternatives, scope and validation before any implementation work begins.

0 8d ago A 23 tokens original Apache-2.0

badrabbitt/leanrigor

Skill Claude CodeCodex

Produce a system design with explicit non-functional requirements, capacity assumptions, failure modes, security boundaries, observability and rollout.

0 8d ago A 29 tokens original Apache-2.0

undeclared-network

12

badrabbitt/leanrigor

Skill Claude CodeCodex

A skill shipping a script that reaches the network without declaring the capability.

0 8d ago A 18 tokens original Apache-2.0