Skip to content

스킬 검색.../

Agent Skill Search Engine

검색

검색
카테고리
직업

About

About
Privacy
Terms

© 2026 Skills Pool. All rights reserved.

Witness Bridge Task | Skills Pool

스킬 파일

Witness Bridge Task

Use for changes to the UAFX -> candidate -> SMT -> runtime bridge. Enforces contract preservation, narrow diffs, and validation discipline.

poppet-t0 스타2026. 4. 5.

직업
카테고리: 스마트 컨트랙트

스킬 내용

Use this when

Editing extraction, mapping, SMT, runtime emission, or backend-facing handoff logic
Changing artifact boundaries
Adding support for a narrow new entry family
Debugging witness feasibility or scaffold generation

Required reads

AGENTS.md
context/architecture.md
context/invariants.md
plans/current.md

Required behavior

Preserve artifact contracts unless explicitly authorized otherwise.
Keep unsupported cases explicit.
Prefer additive extension points over redesign.
Preserve provenance and reproducibility metadata.
Do not blur stage responsibilities.

Checklist

Before editing, identify whether the change affects:

관련 스킬

빠른 설치

Witness Bridge Task

npx skillvault add poppet-t/poppet-t-madelin-skills-witness-bridge-task-skill-md

Skill 다운로드 저장소 열기

작성자: poppet-t
스타: 0
업데이트: 2026. 4. 5.
직업

이 페이지의 내용

01Use this when 02

candidate schema
witness plan schema
runtime emitter assumptions
ordering semantics
stable resource prefix expectations

If adding a target pack, do it in this order:

pack metadata (manifest + maturity)
normalized entry kinds
fixture bridge export -> candidate -> witness plan
dry-run backend proof to triage artifact
docs updates with conservative support claims

Execution sequence

Find the exact producer and consumer boundaries touched.
Confirm whether this is:
- local logic change
- schema change
- ordering/constraint change
- runtime-only emission change
Implement the smallest correct diff.
Add or update validation for the touched stage.
Run narrow checks first.
Report assumptions and unverified paths.

Final output format

Summary
Changed files
Boundary touched
Validation run
Risks / assumptions
Follow-ups

Required reads

03Required behavior

05Execution sequence

06Final output format

소프트웨어 개발자

스마트 컨트랙트

Defi Amm Security

Security checklist for Solidity AMM contracts, liquidity pools, and swap flows. Covers reentrancy, CEI ordering, donation or inflation attacks, oracle manipulation, slippage, admin controls, and integer math.

스마트 컨트랙트

Nodejs Keccak256

Prevent Ethereum hashing bugs in JavaScript and TypeScript. Node's sha3-256 is NIST SHA3, not Ethereum Keccak-256, and silently breaks selectors, signatures, storage slots, and address derivation.

스마트 컨트랙트

Syncable Entity Builder And Validation

Create validation logic and migration action builders for syncable entities in Twenty. Use when implementing business rule validation, uniqueness checks, foreign key validation, or building workspace migration actions for syncable entities. Validators never throw and never mutate.

Nft Standards

Implement NFT standards (ERC-721, ERC-1155) with proper metadata handling, minting strategies, and marketplace integration. Use when creating NFT contracts, building NFT marketplaces, or implementing digital asset systems.

Solidity Security

Master smart contract security best practices to prevent common vulnerabilities and implement secure Solidity patterns. Use when writing smart contracts, auditing existing contracts, or implementing security measures for blockchain applications.

Defi Protocol Templates

Implement DeFi protocols with production-ready templates for staking, AMMs, governance, and lending systems. Use when building decentralized finance applications or smart contract protocols.

소프트웨어 개발자