{"@context":"https://schema.org","@graph":[{"@type":"SoftwareApplication","@id":"https://hol.org/registry/plugins/amethyst-luna%2Flogicprobe#plugin","name":"Logic Probe","description":"Design-document & plan claim verification — checks every verifiable claim against the codebase, escalates behavioral claims to executable-model verification, compares before/after models for regression detection, and mines concurrency risk claims","url":"https://hol.org/registry/plugins/amethyst-luna%2Flogicprobe","applicationCategory":"Development & Workflow","softwareVersion":"0.9.0","creator":"Amethyst Luna","codeRepository":"https://github.com/AmethystLuna/logicprobe","sameAs":["https://github.com/AmethystLuna/logicprobe","https://github.com/AmethystLuna/logicprobe"],"image":["https://img.shields.io/endpoint?url=https%3A%2F%2Fhol.org%2Fapi%2Fregistry%2Fbadges%2Fplugin%3Fslug%3Damethyst-luna%252Flogicprobe%26metric%3Dtrust%26style%3Dflat","https://img.shields.io/endpoint?url=https%3A%2F%2Fhol.org%2Fapi%2Fregistry%2Fbadges%2Fplugin%3Fslug%3Damethyst-luna%252Flogicprobe%26metric%3Dsecurity%26style%3Dflat"],"additionalProperty":[{"@type":"PropertyValue","name":"HOL Trust Score","value":78},{"@type":"PropertyValue","name":"Security Score","value":76},{"@type":"PropertyValue","name":"Skills Bundled","value":2},{"@type":"PropertyValue","name":"MCP Servers Bundled","value":0},{"@type":"PropertyValue","name":"Apps Bundled","value":0}]}]}