MVT (Mobile Verification Toolkit) helps with conducting forensics of mobile devices in order to find signs of a potential compromise.
Repository Index
47,133 repositories indexed
1–20 of 20 · Most stars
Fully autonomous & self-evolving research from idea to paper. Chat an Idea. Get a Paper. 🦞
Easy-to-use Speech Toolkit including Self-Supervised Learning model, SOTA/Streaming ASR with punctuation, Streaming TTS with text frontend, Speaker Verification System, End-to-End Speech Translation and Keyword Spotting. Won NAACL2022 Best Demo Award.
A PyTorch-based Speech Toolkit
A light-weight, flexible, and expressive statistical data testing library
[验证码识别-训练] This project is based on CNN/ResNet/DenseNet+GRU/LSTM+CTC/CrossEntropy to realize verification code identification. This project is only for training the model.
Verify that the PowerPoint you are about to deliver is exactly the PPTX that passed QA—locally, offline, and with tamper-evident evidence.
pure-python ECDSA signature/verification and ECDH key agreement
FactCircuit: an auditable claim-and-evidence verification loop with immutable provenance, staged checks, bounded retrieval, and reproducible evaluation.
A Claude skill that activates Fable-style agentic behavior: explicit multi-stage planning, sub-agent delegation, and self-verification.
:speaker: Deep Learning & 3D Convolutional Neural Networks for Speaker Verification
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
High-assurance AI data visualization IDE & analytics workbench. Natural language to charts with local ground-truth table verification.
AI-assisted Windows and Chrome GUI delegation for Codex: task contracts, local execution, Jev semantic decisions, recovery and outcome verification.
Rebuild software from behavior, not source code. An MCP-powered toolkit for black-box observation, clean-room reimplementation, and behavioral verification.
Self-healing Docker CI: BuildKit failure taxonomy, Claude Code fixes, rebuild verification, capped retries.
The Scenario Architect provides a lightweight graphical user interface that allows a straightforward realization and manipulation of concrete driving testing scenarios. Exemplary usecases are the validation of an online verification framework or training of an prediction algorithm.
Tool for suggesting lemma names in Coq verification projects
Catch your AI agents when they lie about what they shipped — verifies claims against git instead of believing the agent.
No description provided by the repository host.