A system testing framework for executable specifications and runtime verification, built for developers and coding agents

verification behaviour system-testing runtime-verification opentelemetry agentic-framework agentic-coding verification-framework agentic-engineering harness-engineering runtime-evidence executable-spec

• Updated Nov 10, 2026
• TypeScript

This project adapts fablize's verified procedures — verification grounding, multi-story evidence gating, investigation protocol, and early-stop prevention.

ai artificial-intelligence autonomous-agents ai-agents llm task-completion agent-skills verification-framework agentskills hermes-agent nous-research hermes-skill hermes-ecosystem

• Updated Jun 17, 2026
• Python

Check on-chain events using math + majority agreement, no payments, no trust, no excuses.

python open-source cryptography ethereum smart-contracts mpt web3 trustless merkle-proof security-tool auditing-tool proof-of-inclusion base-network blockchain-verification verification-framework

• Updated Nov 27, 2025
• Python

SPAR (Sovereign Physics Autonomous Review) - Claim-aware review framework for systems whose outputs can pass while their claims drift.

physics scientific-computing model-governance verification-framework admissibility claim-aware-review

• Updated May 26, 2026
• Python

Verification framework for LQG-enhanced warp bubble energy optimizations with reproducible computational methods and stability analysis.

spacetime computational-physics general-relativity quantum-field-theory feasibility digital-twin polymer-physics space-debris loop-quantum-gravity warp-drive alcubierre exotic-matter verification-framework van-den-broeck natario quantum-inequality ford-roman

• Updated Jan 29, 2026
• Python

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).

static-analysis developer-tools software-engineering formal-methods program-verification automated-testing debugging-tools secure-coding design-by-contract runtime-verification source-code-analysis cli-tool runtime-analysis code-instrumentation source-code-modification programming-language-tools contracts-validation preconditions-postconditions invariants-checking verification-framework

• Updated Nov 18, 2025
• JavaScript

Fail-closed enforcement layer that converts deterministic ACCEPT/REJECT decisions into guaranteed execution control with a public verification URL.

github-pages security cryptography protocol verification security-protocol reproducibility execution-control trust-model decision-system fail-closed verification-framework verification-url deterministic-decision

• Updated Apr 23, 2026
• HTML