Repository Index

MVT (Mobile Verification Toolkit) helps with conducting forensics of mobile devices in order to find signs of a potential compromise.

• forensics
• mobile
• security
• android

Fully autonomous & self-evolving research from idea to paper. Chat an Idea. Get a Paper. 🦞

• autonomous-research
• citation-verification
• llm-agents
• multi-agent-debate

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.

• transformer
• conformer
• speech-translation
• streaming-asr

A PyTorch-based Speech Toolkit

• speech-recognition
• speech-toolkit
• speaker-recognition
• speech-to-text

A light-weight, flexible, and expressive statistical data testing library

• pandas
• validation
• schema
• dataframes

[验证码识别-训练] 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.

• captcha-recognition
• tensorflow-tutorials
• ocr
• tensorflow

Verify that the PowerPoint you are about to deliver is exactly the PPTX that passed QA—locally, offline, and with tamper-evident evidence.

• artifact-integrity
• pptx
• python
• supply-chain-security

pure-python ECDSA signature/verification and ECDH key agreement

• python
• elliptic-curves
• cryptography
• digital-signatures

FactCircuit: an auditable claim-and-evidence verification loop with immutable provenance, staged checks, bounded retrieval, and reproducible evaluation.

• accuracy-decline
• ai-safety
• audit-trail
• fact-checking

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

• convolutional-neural-networks
• deep-learning
• speaker-recognition
• 3d

Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.

• ai-agents
• mathematics
• neuro-symbolic
• reasoning

High-assurance AI data visualization IDE & analytics workbench. Natural language to charts with local ground-truth table verification.

• ai-analytics
• data-analysis
• data-visualization
• duckdb

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.

• clean-room-reimplementation
• ai-agents
• behavioral-testing
• black-box-testing

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.

• safety
• scenario

Tool for suggesting lemma names in Coq verification projects

• coq
• machine-learning
• name-generation
• pytorch

Catch your AI agents when they lie about what they shipped — verifies claims against git instead of believing the agent.

• agent-orchestration
• cli
• developer-tools
• llm-agents

No description provided by the repository host.