Skillget

genpark-presburger-arithmetic-linear-integer-solver-skill

mcp
Security Audit
Warn
Health Warn
  • 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 Pass
  • Code scan — Scanned 4 files during light audit, no dangerous patterns found
Permissions Pass
  • Permissions — No dangerous permissions requested

No AI report is available for this listing yet.

SUMMARY

GenPark AI Agent Skill - Presburger linear integer arithmetic decision procedure solving systems of linear inequalities for agent safety guard synthesis.

README.md

GenPark Presburger Linear Integer Arithmetic Solver Skill

Presburger linear integer arithmetic decision procedure solving systems of linear inequalities.

Read more at GenPark and the GenPark MCP Catalog.

graph TD
    C[Linear Integer Inequalities Ax <= b] --> S[Presburger Decision Procedure]
    S --> D{Satisfiable in Z^k?}
    D -->|Yes| M[Integer Certificate Model x*]
    D -->|No| U[Unsat Safety Invariant Guarantee]
    style C fill:#e1f5fe
    style S fill:#fff9c4
    style D fill:#ffcdd2
    style M fill:#c8e6c9
    style U fill:#d1c4e9

Features

  • Quantifier-free linear integer arithmetic constraint satisfaction.
  • Zero external dependencies.

Reviews (0)

No results found