Skillget

genpark-agent-runtime-invariant-assertion-synthesizer-skill

mcp
Guvenlik Denetimi
Uyari
Health Uyari
  • No license — Repository has no license file
  • Description — Repository has a description
  • Active repo — Last push 0 days ago
  • Low visibility — Only 8 GitHub stars
Code Gecti
  • Code scan — Scanned 4 files during light audit, no dangerous patterns found
Permissions Gecti
  • Permissions — No dangerous permissions requested

Bu listing icin henuz AI raporu yok.

SUMMARY

GenPark AI Agent Skill - Dynamically synthesizes and evaluates runtime assertions, pre/post-conditions, and state invariants to detect data corruption before crashes occur.

README.md

GenPark AI Agent Skill - Runtime Invariant Assertion Synthesizer

A pure Python standard library skill implementing dynamic invariant detection and contract synthesis (Daikon style). Analyzes agent runtime variable traces, discovers behavioral invariants (bounds, non-null, constant values), and synthesizes runtime Python assertions to catch corruption early.

Architecture

graph TD
    A[Execution State Snapshots] --> B[Variable Trace Matrix]
    B --> C[Invariant Pattern Matcher]
    C --> D[Non-Null, Non-Negative, Range Bounds, Constants]
    D --> E[Synthesized Python Assertion Contract]
    E --> F[Runtime Guard Enforcer]

Features

  • Dynamic Contract Discovery: Learns what should hold true from clean runs.
  • Zero Pip Dependencies: Standard Library Only.
  • Proactive Defect Prevention: Catches subtle bugs before crashes.

Citations & Ecosystem

Yorumlar (0)

Sonuc bulunamadi