v0.1.0

Supported Provers

1. Vampire - High-performance ATP (requires installation)
2. E (eprover) - Equational theorem prover (requires installation)
3. Prover9 - Legacy prover (requires installation)
4. Simple - Built-in resolution prover (always available)

Full Changelog: https://github.com/NewJerseyStyle/folprover-mcp/commits/v0.1.0