Projects in Awesome Lists tagged with verification-framework
A curated list of projects in awesome lists tagged with verification-framework .
https://github.com/teixeirazeus/fablize-for-hermes
This project adapts fablize's verified procedures — verification grounding, multi-story evidence gating, investigation protocol, and early-stop prevention.
agent-skills agentskills ai ai-agents artificial-intelligence autonomous-agents hermes-agent hermes-ecosystem hermes-skill llm nous-research task-completion verification-framework
Last synced: 26 Jun 2026
https://github.com/ioncakephper/contract-shield-cli
A CLI tool that processes @pre, @post, and @invariant tags in functions, classes, and methods within a source file. It generates a modified version of the source code that automatically validates input conditions (@pre), result conditions (@post), and invariant conditions (@invariant).
automated-testing cli-tool code-instrumentation contracts-validation debugging-tools design-by-contract developer-tools formal-methods invariants-checking preconditions-postconditions program-verification programming-language-tools runtime-analysis runtime-verification secure-coding software-engineering source-code-analysis source-code-modification static-analysis verification-framework
Last synced: 20 Jun 2025
