Tim DeHerrera
Community@nrdxp
G ↔ ¬□G
Agent Skills by Tim DeHerrera
Showing 35 vetted skills indexed across 1 GitHub repositories.
nrdxprobust-testing
Designs property-based, metamorphic, and fuzz-testing harnesses to verify code against invariants.
nrdxpapi-audit
Audits public API surfaces for type safety, encapsulation, and naming coherence.
nrdxpai-audit
Audits AI-generated code across four layers covering logic, dependencies, style, and instruction adherence.
nrdxpdocumentation
Enforces writing quality guidelines and markdown formatting conventions for documentation files.
nrdxpform
Constructs formal mathematical domain models through a six-phase validation workflow.
nrdxpgo
Applies idiomatic Go conventions for writing, reviewing, and refactoring Go code.
nrdxpcore
Executes TDD-driven code changes through gated Absorb, Clarify, Plan, Execute state transitions.
nrdxprecord
Classifies and promotes durable records into ledger categories with contract validation.
nrdxpcouncil
Governs multi-seat council deliberation with contract-validated deposits, delegation rules, and decision ledgers.
nrdxporient
Installs predicate enforcement into a project and authors its AGENTS.md goal-hierarchy.
nrdxppython
Enforces idiomatic Python style, patterns, and conventions when writing or reviewing Python code.
nrdxpprior-art
Searches, audits, and adapts production code, RFCs, and academic literature as reference patterns.
nrdxpboundary
Validates and refines Initial Boundary Condition prompts against seven sufficiency conditions before dispatch.
nrdxptypescript
Enforces idiomatic TypeScript and JavaScript coding patterns, type safety rules, and async conventions.
nrdxprust
Applies idiomatic Rust conventions for writing, refactoring, and reviewing Rust code.
nrdxpspec
Formalize normative behavioral constraints and map them to executable test invariants.
nrdxpconstitution
Defines ordered ethical principles and precedence rules governing agent decision-making.
nrdxphickey
Reviews code for structural simplicity using Rich Hickey's Simple Made Easy framework.
nrdxpforge
Enforces self-contained PR prose, git-based merges, and forge audit discipline for hosted repositories.
nrdxpsdma
Applies category theory, coalgebra, and information theory to formal domain modeling and architecture analysis.
nrdxpcampaign
Orchestrates multi-workstream initiatives by surveying, planning, dispatching tiered workers, and reconciling landed work.
nrdxpgit-review
Reviews git history and commits for change coherence against a stated purpose.
nrdxporchestration
Drives validated campaign DAGs through dispatch, reconcile, and merge as a deterministic state machine.
nrdxpdoc
Guides documentation work through a five-phase audit, plan, draft, review, and verify lifecycle.
Frequently Asked Questions About Tim DeHerrera
FAQPage SchemaWhat tasks can I accomplish with nrdxp's skill registry?▼
You can audit API surface coherence and type safety, review AI-generated code for hallucinated APIs, run phased security assessments, design property-based tests and fuzzing harnesses, formalize specifications with invariants and BCP 14 language, and enforce idiomatic conventions across Go, Rust, Python, and TypeScript codebases.
Who should use these skills?▼
Software engineers, architects, and maintainers who need disciplined review and verification practices. The council, campaign, and orchestration skills target senior engineers coordinating multi-workstream initiatives, while language skills serve day-to-day developers writing or refactoring Go, Rust, Python, TypeScript, or JavaScript.
How do the skills trigger in practice?▼
Each skill activates via slash commands (e.g., /security-audit, /refine, /spec), file-pattern detection such as **/*.rs or **/*.qmd, or keyword matching in prompts. The orient skill onboards a project by installing enforcement and authoring an AGENTS.md goal-hierarchy that anchors subsequent work.
What formal methods and verification capabilities are included?▼
The formal-foundations and spec skills cover TLA+, Alloy, Lean, and Coq for protocol contracts, state-space verification, invariants, liveness, and safety properties. The sdma and form skills add Category Theory, Coalgebra, and Information Theory for domain modeling, ologs, and architectural entropy measurement.
What prerequisites or dependencies do these skills require?▼
Skills assume a git-based project environment, with forge skills expecting GitHub, GitLab, or Forgejo hosting. Language skills expect standard toolchains such as cargo, go vet, pytest, or tsc. Formal verification skills require familiarity with proof assistants or model checkers like TLA+, Alloy, Lean, or Coq.