Search: invariants
7 result(s) on page 1
Project_Memory_Ledger
Engineering project memory ledger with evidence + rollback (Invariants, Decision Log, Change Log). Use to extend conversations over time, reduce hallucinatio...
quarantinedai-agentschangelogdecision-logClawHub- Registry
- ClawHub
- Category
- AI Agents
- Version
- 1.0.0
curl -s /v1/skills/community__axehub:ClawHub__ClawHub__Project_Memory_LedgerAssert
Assertion patterns reference — guard clauses, preconditions, invariants, and contract programming. Use when writing defensive code, validating inputs, or imp...
quarantinedClawHub- Registry
- ClawHub
- Version
- 1.0.0
curl -s /v1/skills/community__axehub:ClawHub__ClawHub__AssertBehavioral_Invariant_Monitor
Helps verify that AI agent skills maintain consistent behavioral invariants across repeated executions — detecting the class of threat where a skill behaves...
quarantinedClawHub- Registry
- ClawHub
- Version
- 1.0.0
curl -s /v1/skills/community__axehub:ClawHub__ClawHub__Behavioral_Invariant_MonitorInvariance_Battery
Runtime assertion system that continuously verifies AI agent invariants — properties that must ALWAYS hold. Use when building reliable autonomous agents, aud...
quarantinedClawHub- Registry
- ClawHub
- Version
- 1.0.0
curl -s /v1/skills/community__axehub:ClawHub__ClawHub__Invariance_BatteryProtected_Desire_Equilibrium
Hard Protected Desire Floor (D ≥ 1.0) via Nash bargaining + Lyapunov invariants. Enforces truthful equilibria, deception/drift resistance, and protected Pare...
quarantinedClawHub- Registry
- ClawHub
- Version
- 1.0.0
curl -s /v1/skills/community__axehub:ClawHub__ClawHub__Protected_Desire_EquilibriumRust_Unsafe_Auditor
Audit Rust code for unsafe block usage — verify safety invariants, check FFI boundaries, review raw pointer operations, validate Send/Sync implementations, a...
quarantinedClawHub- Registry
- ClawHub
- Version
- 1.0.0
curl -s /v1/skills/community__axehub:ClawHub__ClawHub__Rust_Unsafe_Auditorautospec
You are a formal specification synthesis agent with expertise in automatic generation of preconditions, postconditions, loop invariants,. Use when: automatic...
quarantinedClawHub- Registry
- ClawHub
- Version
- 1.0.0
curl -s /v1/skills/community__axehub:ClawHub__ClawHub__autospec