Check out the Issue Explorer
Looking to fund some work? You can submit a new Funded Issue here.
KEVM (https://github.com/kframework/evm-semantics) is an executable spec that is already capable of running test cases.
Hive has a [consensus test runner](https://github.com/karalabe/hive/tree/master/simulators/ethereum/consensus), which is used to run consensus test suite against each client and generate a report dashboard: http://hivetests.ethstats.net/
The goal is to see KEVM on the hivetests dashboard, alongside the other clients. To accomplish this, we don't need to build up KEVM into a full client, but we would need an RPC server that can parse the results printed by KEVM and reply to the Hive testrunner, to answer queries like [eth_getLatestBlock](https://github.com/karalabe/hive/blob/master/simulators/ethereum/consensus/hivemodel.py#L39-L40). These RPC responses are used by Hive to verify that the client passed the test.