SentinelOps
- 6 followers
- United States of America
- https://www.sentinelops.xyz
Pinned Loading
Repositories
- provability-fabric Public
Provable AI agents with behavioral guarantees enforced by formal verification, runtime security, and end-to-end audit trails.
- speccursor Public
SpecCursor is a GitHub App that autonomously upgrades dependencies, patches regressions using AI, and proves invariants using Lean 4.20. It provides a complete solution for maintaining software dependencies with confidence through formal verification.
- pcs-core Public
Proof-Carrying Science (PCS) brings together schemas, validation, and tooling so research and agent workflows can publish evidence that independent reviewers can verify, including structured artifacts that go far beyond unstructured logs alone.
- post-incident-proofs Public
Transforms raw runtime telemetry into machine-checked forensic evidence and proves that evidence can't be forged, lost, or silently falsified.
- model-asset-guard Public
Machine-checks every fixed model artefact—weights, vocab, quant tables, tokenizers.
- understand-first Public
Generate understanding, not just code. This toolkit helps teams reduce Time To Understanding (TTU) and Time To First Safe Change (TTFSC) with maps, traces, tours, contracts, and PR guardrails.
- morph-replay-runner Public
morph-replay-runner is a command-line interface (CLI) tool designed to execute TRACE-REPLAY-KIT bundles with branch-N parallelism on Morph Cloud. This tool streamlines the process of running replay tasks, ensuring efficient and scalable execution with comprehensive evidence collection and CERT-V1 compliance.
- provability-fabric-core Public
- spec-to-proof Public
Automatically extracts hidden invariants from plain English specifications and generates formal proofs using Lean 4. Connect your Jira, Confluence, or Google Docs, and our NLP pipeline transforms natural language into mathematically verified guarantees.
