GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing github.com — Build software better, together
#
code-verificationHere are 97 public repositories matching this topic...Language: All
Filter by language
Sort: Most stars
Sort options
Static Value-Flow Analysis Framework for Source Code
llvm static-analysis dependency-analysis code-analysis static-analyzer abstract-interpretation pointer-analysis points-to-analysis source-code-analysis code-verification bug-detection static-value-flow
A react-native confirmation code field compatible with iOS, Android and Web
android ios react-native react-native-component react-native-web react-native-library pin-code code-verification one-time-password otp-inputs
Autonomous software factory. Give it a GitHub issue, a spec or a one-line task; get back a pull request with a signed receipt anyone can re-check offline. Runs on your machine with your own keys: Claude, Codex, OpenCode.
devtools multi-agent codex autonomous-agents software-factory ai-agents claude code-verification anthropic ai-coding-tools legacy-modernization spec-driven-development ai-coding-agents
Fully customizable iOS UITextField for OTP/Secure code verification
An SDK for verifiable intent, inline with code: one-line claims above your functions, verified at the rigor you choose and flagged when they drift. Agent-first, MIT.
A Python library for verifying code properties using natural language assertions.
testing natural-language test-automation pytest unittest code-quality language-models code-verification llm ai-testing
Checks coding agents' edits as they work by enforcing mechanical guardrails for clean code.
rust cli typescript static-analysis pre-commit code-analysis developer-tools code-quality git-hooks codex ai-agents quality-gates code-verification local-first ai-coding claude-code coding-agent agentic-coding
Prove an AI-written fix actually fixes the bug. mini-ork certify reproduces the bug against your repo's own code, attacks the patch with generated invariants in a Docker sandbox, and returns PROVEN / REFUTED / UNVERIFIED with a JSON certificate. Part of a verifier-gated, multi-model agent runtime.
mcp multi-agent metamorphic-testing codex ai-agents code-verification agent-framework self-improving llm llmops ai-code-review recursive-self-improvement ai-verification llm-orchestration agentic-ai grpo claude-code swe-bench
A CLI-first autonomous coding agent where the actor never grades itself. Every edit is grounded in your repo's real topology and verified by an independent deterministic grader (drift, lint, verify-task, intent) before it ships. Closed-loop: comprehend → plan → execute → critique → replan. Also a passive MCP harness.
cli ai topology architecture rust-lang developer-tools code-quality autonomous-agents continual-learning code-verification llm ai-coding model-context-protocol agent-skills coding-agent agent-loop
AI readiness & verification toolkit — measure how ready your codebase is for autonomous AI coding agents, and get a roadmap to autonomy. Plugins for Claude Code, Kiro, Cursor, Codex.
SE-CoVe: Software Engineering Chain-of-Verification plugin for Claude Code
tdd multi-agent code-quality code-verification ai-code-review claude-code chain-of-verification claude-code-plugin
CodeNotary JavaScript Client
CodeScope does not understand code. It verifies it. A high-performance code graph engine with MCP protocol for AI agents (Claude/Cursor) to ask "Does the code actually do what you claim?"
A CLI tool that verifies AI coding assistant claims against actual structural changes — catching hallucinated functions, fake calls, and missed modifications before they ship.
python api cli tools ai static-analysis validator python3 free static-analyzer buff code-verification llm qwen deepseek hallucination-detection ai-verification ai-checker ai-coding-assistant nowreck
Structured code verification, fault localization, and semantic analysis — agent skill based on the Agentic Code Reasoning paper
debugging fault-localization codex code-verification gemini-cli claude-code agent-skill semi-formal-reasoning
eslint-ai is an cli tools that help us to lint and view suggestion from ai if we had a code error with eslint support.
Checks the math in your code: proves a function equals its formula or returns the exact input that breaks it. Also an exact math engine and MCP server for AI agents (SymPy + NumPy).
math computer-algebra mcp numpy linter static-analysis ode code-generation sympy floating-point symbolic-math ai-agents code-verification llm-tools
Code verification protocol for vibe coding — every claim must have a verifiable practice anchor.
python testing typescript cpp protocol static-analysis verification developer-tools code-quality dsh defensive-programming code-verification ai-assisted-development llm vibe-coding vibe-coded deepseek-harness dsh-plugin deepseek-harness-plugin deepseek-harness-plugins
Semantic Flow Language (SFL) is a framework that aligns human intent, AI reasoning, and executable logic. It ensures bidirectional synchronization between meaning and code, allowing for reliable, transparent, and verifiable AI-driven development across various environments.
developer-tools software-engineering ai-safety reasoning explainable-ai sfl code-verification ai-alignment semantic-graph ai-assisted-development ai-verification human-in-the-loop-ai semantic-programming intent-driven-development semantic-flow-language semantic-execution meaning-graph semantic-sync flow-language semantic-execution-model
DeepSeek Harness 插件：确认改动的代码行真的被测试覆盖到，结论绑定代码指纹，代码一变自动过期
react nodejs javascript typescript jest verification pytest test-coverage dsh cordis code-verification quality-gate test-impact-analysis vitest llm-agent agent-tools deepseek-harness dsh-plugin changeproof changed-line-coverage
Add this topic to your repoTo associate your repository with the code-verification topic, visit your repo's landing page and select "manage topics." |
| You are visitor 01402503 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |