search
Graphs
Trends
- 1AxiomCode Graph uses formal methods to cut coding agent rework●Show HN: AxiomCode Graph, Reducing coding agent rework with formal methods
A developer has launched AxiomCode Graph, an open-source tool aimed at reducing the rework done by AI coding agents by applying formal methods to verify code changes. The project, shared on Hacker News, is available on GitHub and targets a growing pain point in AI-assisted software development, where agents often produce code that needs repeated corrections.
Repos
- graphicle-ai/graphicle Code graph and memory for your coding agents, in one Rust program. For Claude Code, Codex, Cursor and any MCP client.
- NationalSecurityAgency/ghidra Ghidra is a software reverse engineering (SRE) framework
- vxcontrol/pentagi Fully autonomous AI Agents system capable of performing complex penetration testing tasks
- jiwoochris/artex-global ARTEX 한국어판 · AI 자율 침투 테스트 프레임워크(upstream: Autumn-27/ARTEX, AGPL-3.0)
- jiwoochris/artex-ko ARTEX 한국어판 · AI 자율 침투 테스트 프레임워크(upstream: Autumn-27/ARTEX, AGPL-3.0)
- lucasmarkes/hairline Six isometric line figures that answer the pointer. For React and for anything with a DOM.
- AxiomCodeAI/axiomcodegraph Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-relat
- trhhubsd/ARTEXX ARTEX，AI 自主渗透测试系统。百度 agent+ 攻防挑战赛冠军项目。
- trhhubsd/ARTEX ARTEX，AI 自主渗透测试系统。百度 agent+ 攻防挑战赛冠军项目。
- project-minigraf/minigraf Embedded graph memory for AI agents, mobile apps, and the browser.