Search 7 packages
| Packages1–7 of 7 | Version | Findings | Description | Downloads | When |
|---|---|---|---|---|---|
| exocortex-reasoning cargo | not built 0.5.0 did not build | Exocortex reasoning layer: Crepe (Datalog) rules R1-R9 plus Steel (Scheme) belief evolution, with idempotent derived-edge writeback. | 169 | 18h ago | |
| dynamo-parsers cargo | 9.2.9 | 3 vulnerabilities 3 | Reasoning and tool-calling parsers for OpenAI-compatible inference output. | 714K | 1h ago |
| mago-algebra cargo | 1.52.0 | clean | The logical reasoning engine for Mago's static analyzer, responsible for manipulating sets of logical clauses. | 19K | 21h ago |
| heddle-ingest cargo | 0.28.12 | clean | Import git history (commits, refs, reflogs) into a native Heddle repository with agent attribution and reasoning annotations. | 5.0K | 6h ago |
| car-reason cargo | not built 0.56.1 did not build | Code reasoning engine for Common Agent Runtime — adaptive, graph-driven, learning | 1.0K | 3h ago | |
| owl-dl-tableau cargo | 0.4.36 | clean | Tableau-based reasoning engine for SROIQ used by rustdl | 510 | 2d ago |
| bicameral cargo | 0.1.1 | clean | Bicameral minds: consequential decisions require signed concurrence from independent reasoning chambers — GPU brain and ANE brain — with dissent preserved in a… | 15 | 1d ago |