cloudbadal007/ontoguard-extension — explained in plain English
Analysis updated 2026-05-18
Catch contradictory business rules, like one requiring a payment and another forbidding it under the same conditions.
Detect rules that say a duty continues 'until' some condition, when nothing else in the rule set actually checks for that condition.
Validate SHACL shape and data files for constraint violations directly inside the editor.
| cloudbadal007/ontoguard-extension | 0xkinno/neuralvault | 0xmayurrr/ai-contractauditor | |
|---|---|---|---|
| Stars | 1 | 1 | 1 |
| Language | TypeScript | TypeScript | TypeScript |
| Setup difficulty | easy | hard | easy |
| Complexity | 2/5 | 4/5 | 2/5 |
| Audience | developer | developer | developer |
Figures from each repo's GitHub metadata at analysis time.
Runs fully locally with no account or API key, developers clone the repo, run npm install and npm run compile, then launch it in VS Code with F5.
OntoGuard is a small VS Code and Cursor extension that checks written business rules for contradictions or gaps before an AI agent or a person acts on them. It runs entirely on your own machine, with no account, cloud service, or API key needed. The problem it solves is simple to describe but easy to miss by hand. Two rules might both look reasonable on their own, such as one saying a claim must be paid once coverage is confirmed, and another saying the same claim must not be paid while there is an open investigation. A person reading both might catch the conflict, but an automated system often will not, and could end up paying a claim it should have blocked. Similarly, a rule might say a duty continues until some condition is met, but if nothing in the rule set actually checks for that condition, the duty never really ends. You give OntoGuard your rules in one of two formats: a simple JSON file listing each rule's subject, required action, trigger condition, and optional end condition, or a Turtle file using SHACL, a standard way of describing data constraints. Running a command checks the rules and reports contradictions, unmatched end conditions, or SHACL violations in VS Code's Problems and Output panels, in plain language rather than technical jargon. The author is clear about its limits: this is a structural checker, not a full mathematical proof system, so it catches common and costly mistakes early rather than guaranteeing complete correctness. It also does not replace legal review, and it does not send any of your files off your machine. The project ships with sample rule files and a one-click demo scenario so a new user can see the tool work before writing their own rules.
A local VS Code and Cursor extension that checks written business rules for direct contradictions and unresolved end conditions before an AI agent or person acts on them.
Mainly TypeScript. The stack also includes TypeScript, VS Code Extension API, SHACL.
MIT license, free to use, modify, and distribute, including commercially, as long as you keep the copyright notice.
Setup difficulty is rated easy, with roughly 5min to a first successful run.
Mainly developer.
This repo across BitVibe Labs
Verify against the repo before relying on details.