Hans-Stuffer/touchstone — GitHub trending stats & insights

Hans-Stuffer/touchstone

Neurosymbolic toolkit for Claude Code: a theorem prover, symbolic math, a constraint solver, and symbolic execution, wired in so the agent proves code instead of guessing.

Visit GitHub

Shell

1 contributors

MIT License

Social mentions

Recent discussions about this repository across the web

[Workflow] Enhancing Claude Code Rigor with Formal Solvers (Z3, CrossHair, fast-check) for Critical Code Sections

r/ClaudeWorkflows

Making Claude Code a bit more rigorous with actual solvers (Z3, CrossHair, fast-check).

r/ClaudeAI

No trending activity

This repository has not yet been featured on GitHub Trending

Repository activities

repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues

Data is not available yet

Recent activity data for stars, forks, merged PRs, issues, and closed issues will appear here once available